fixing a typo in a comment