Further attempt to fix the ChocoIG bug