.tex was messed up; works fine now