Fix version of highlight.js