corrected a typo in a comment