Fix 1.3.1 TeX again