I don't think it's mistranslated. There's a part saying they change the Ehcatl Sealant's name to quick hardening sealant.