Look for a bug in web.js