fix the pygments rename