Fixing pygments theme