Fixed typo in a comment.