fixes to accidental check-in of main.tex