Corrections to web.js