small tweaks to web.js