Fixed the copy-paste. Needed <pre> tags to preserve the whitespace.