Fix apparent typo in head-of-file comment.