A Fix to web.js