highlightjs fix