Edits to web.js 8