Fixing <pre> tags