more asciidoc fixes