Try to fix recent bug in IITCm