This `<pre>` tag is never closed. What's it doing here?