Fixed a problem in web.js