Fix 1.13 TeX