fix a typo in the comment