Made removeHighlight work in IE. elem.remove() was experimental DOM API