Fix some formatting

<pre> is rendered as a code block, which was not the intent. No idea how to have literal inline-code-markers rendered, but I guess it's clearer now.