fix Highlight.js