fix errorneous text strip bug

when selected text is short and not unique, .split causes trouble
fix highlight.js, partially