minor spelling correction in a comment.