Moving to .tex files. Should fix #1