<pre> tags are not rendered correctly in some test-cases pages