Update main.tex