Edits to web.js 5