Tweak to pygments stuff