Bugfix

Evidently one does not need to escape characters in Markdown when it is
displayed as code. Oh, well.