use `<code>` rather than deprecated `<tt>`