fix in html minifier which removed whitespace between <pre>