highlight.js fix