Fix asciidoc formatting of the base config options