Hopefully a final fix to web.js