further text cleanups (with missing paper.tex)