Minor fixings to wording.