Changed <xmp> tags to <pre> tags