update to main.tex