#1 <pre> tag does not work OK

[Anonymous]

The formating gets lost, even that there is a <pre> tag in the source file. Especially indentation disapears. i.E.

<pre>
this is

some formated
text with
indentation.
</pre>

gets converted to:

<p><pre>
this is
<p>
some formated
text with
indentation.</p>
</pre></p>