TeX fix.