Fix asciidoc formatting of the base config options

Fixes #2035