Damiano: fixed an other but in the IDA ICE interfacer