main.tex: cosmetic stuff.