fix a typo in a comment