Fix a typo

Typo in comment.