Modify main.tex.