Typo fix in a comment