Compat fix for pdflatex; minor fixes in report