minor change on web.js