Revert commit f3033568.

There was a bug formatting <pre> tags.