Small edit to web.js