Minor wording improvement in one place.