Fix a typo in the comment