Second correction to web.js