TeX files improved