Switched to pygments highlighter