Edits to web.js 6