fix a typo in the comments