Minor wording change.