Tiny typo

Just a little typo in the comments.