Final commit of TeX