Fix pygments