typo fix in a comment.