Minor web.js change