Just a minor typo in a comment.