Fix an IRQ bug