Fix the header comment.