a couple of small AsciiDoc formatting tweaks