Paul Eggert's IDT patch makes sense