small change to web.js