small correction in spec wording