pygments naming problem fix