fix a couple more asciidoc errors