add:   text = text.replace(/\240/g, " "); 
context: function getText(element) {    text = "";    if(element.textContent) {        text = element.textContent;    } else if(element.innerText) {        text = element.innerText;    }    return text.trim();}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/58026424cf44be8df64713b5aa867d3a0274b599/htmlutils.js/buggy/code/javascript/htmlutils.js