Fix file header comment.