Update main.tex.