Since it's surrounded by a `<pre>` tag, HTML won't ignore this white space.