small fix in browser.js