Small edits in Web.js