Fix a small typo in the comments.