Minor code update for web.js