Fix typo in a comment.