I hadn't noticed this, but, yes, you appear to be right. The first line of text after a "pre" tag seems to have any spaces stripped from it. But if you put a label or something in that first line, the other lines can have leading spaces, and the forced spacing will be preserved.
Thank you!
