Typo in a comment corrected