Fix a small typo in comment.