Minor typo in a comment.