Fixed a bug that caused the body of WITH-DISABLED-INTERRUPTS to be called twice