some correction to the interrupt vector implementation