Minor changes in web.js