bugfix for interrupt_request