Fix a tiny typo in a comment.