Fix web.js bugs