Bug fix in web.js