Updating: improving ATS-parse-emit