Small fix in web.js