more trivial fixes to report.tex