debian manpage fixes