fixed a JavaScript bug: fadingHighlight