additional debugging of web.js