Correct header comment.