Damiano: solved other bug in IDA ICE interfacer