Patch highlightjs