some fixes to paper.tex