Another modification to web.js