minor change to wording of a comment