why wrap a `<pre>` with a `<p>`?