Fix web_goo.js