Changes to main.tex