Third correction to web.js