That did do the trick, thanks. But it is odd. I DID copy+paste it from a Firefox window, but I did the same with parts of the last two posts, and they turned out fine. Might just be a bug.
Any way to change them? It seems to automatically assign “pre” tags.