typo.

Fix typo in a comment.