Properly renamed pygments