Updating: improving ATS-HTML-fact