Fixed a small typo in the comments