Small typo fix to a comment