More cleaning up in web_view.js.