doc/paper.tex: minor corrections