Switching back to pygments