Fix highlight.js