Small typo in a comment