fixing highlight.js version