Hopefully really fixed web.js now