Revert commit 5b9ef1ad.

There's a bug with formatting of <pre> tags.