`<code>` rather than `<tt>`