Use highlight.js right.