diff --git a/BaS_gcc/dma/dma.c b/BaS_gcc/dma/dma.c
index 931bd6f..1f1f62e 100644
--- a/BaS_gcc/dma/dma.c
+++ b/BaS_gcc/dma/dma.c
@@ -75,7 +75,6 @@ static struct dma_channel dma_channel[NCHANNELS] =
 	{-1, NULL}, {-1, NULL}, {-1, NULL}, {-1, NULL},
 };
 
-/********************************************************************/
 /*
  * Enable all DMA interrupts
  *
@@ -103,7 +102,6 @@ void dma_irq_enable(uint8_t lvl, uint8_t pri)
 	dbg("DMA task interrupts unmasked, pending interrupts cleared, interrupt controller active\r\n");
 }
 
-/********************************************************************/
 /*
  * Disable all DMA interrupts
  */
@@ -559,6 +557,7 @@ int dma_interrupt_handler(void *arg1, void *arg2)
 	uint32_t ipl;
 
 	ipl = set_ipl(7);		/* do not disturb */
+
 	/*
 	 * Determine which interrupt(s) triggered by AND'ing the
 	 * pending interrupts with those that aren't masked.
diff --git a/BaS_gcc/usb/usb.c b/BaS_gcc/usb/usb.c
index 714e014..6b10133 100644
--- a/BaS_gcc/usb/usb.c
+++ b/BaS_gcc/usb/usb.c
@@ -130,7 +130,7 @@ int usb_init(int32_t handle, const struct pci_device_id *ent)
 			{
 				long handle = controller_priv[i]->handle;
 				if (handle)
-					res |= usb_init(handle, NULL);
+					res |= usb_init(handle, NULL);	/* FIXME: recursive call to self */
 			}
 		}
 		return res;