Fixed a silly typo in a comment