Fixed a little typo in a comment