Go back to old pygments property