README.md: fix some garbage introduced by man2html