minor changes to web.js