Edits to web.js 7