fix jshighlight bug