Fix a typo in the comment.