Fixed a typo in the header comment.