Minor wording.