paper: minor typo, as commented by Tommy ;-)