changed highlighter to pygments