fix highlightjs