removed uneeded TeX stuff