Modifications to web.js