That would be a vB bug. vB translates all linefeeds into <br> tags,
yet <pre> also interprets the linefeeds as linefeeds. So you end up
with double lines.
Maybe a temporary solution is to enclose each line individually in <pre> tags:
Line1
Line2
Line3
Edit: Ok, guess not. Hmm...