Trying to fix pygments