Fixes to results.tex