Minor update to improve caching in IDT emit.