Fix header comment.