Fix typo in header comment.