Fixed a header comment.