Docs typo, replace ``` with <code>

Guessing this was missed in the conversion from markdown to HTML.

This pull request is a single commit to fix the issue, apologies for the mess in the previous PR.