tidy mis-handles <pre> text containing <br>

Tidy mis-formats text between <pre> and </pre> when that text contains 
<br>.  I don't know what produced this original; it's clearly ugly (but 
correct) HTML.

See the attached files: pre-text.html is the original; pre-tidy.html is 
the output of HTML Tidy for Linux/x86 (vers 1st September 2002; built 
on Sep  4 2002, at 23:33:09).

--
Ed Gould		AgileTV Corporation
ed@agile.tv		333 Ravenswood Avenue, Bldg. 202
+1.650.859.5612		Menlo Park, CA  94025  USA