Updating: minorly improving ATS-parse-emit