Fixed a minor typo in a comment.