fixed up main.tex