Fix formatting of main.tex. No real changes.