Fix made in util.js for the jQuery CORS issue in IE