Fix usage of highlight.js