Fix lib/web.js