change highlighter back to pygments