Trivial change to file header comment