Changed to pygments highlighting