tidied the spec