Fix highlightjs version.