Fix file doc comment.