Add `<code>` after `<pre>`; let's not lose our semantics.