small typo in the comments