Minor web.js update