Typo fix (in a comment)