Fix a small typo in a comment.