Hi Bjarni, In coming release v3.3.3 will contain the following manual page fixes.
https://gitorious.org/procps/procps/commit/47100a81259e4de4ae593a7c124e58afd7723968 -- Sami Kerola http://www.iki.fi/kerolasa/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org