main.tex: minor changes