corrections to web.js