Clarify a comment in the IRQ_Routine