fix small typo in a comment