Fix the file doc comment.