update the spec slightly; green