Fix filename in file header comment.