Small changes in idt.c