fix encoding errors in browser_911547.js