Fix main.tex comments