Changing pygments to highlighter.