Add missing closing `pre` tag.

The HTML is invalid without this tag.