Fix wording of the spec