Fix typo

Typo in the comments.