minor change of web.js