doc/paper.tex: fix a dangling ref