Fixed a simple typo in the comments