Fix minor typo in a comment.