Edits to web.js 4