Fixed problem in highlight.js