fix the highlight.js