diff --git a/arch/arm/src/lpc17xx/lpc17_ethernet.c b/arch/arm/src/lpc17xx/lpc17_ethernet.c
index 1b726da2a9..0f5495ed04 100644
--- a/arch/arm/src/lpc17xx/lpc17_ethernet.c
+++ b/arch/arm/src/lpc17xx/lpc17_ethernet.c
@@ -1083,7 +1083,9 @@ static int lpc17_interrupt(int irq, void *context)
           if ((status & ETH_INT_RXFIN) != 0)
             {
               EMAC_STAT(priv, rx_finished);
+#if 0 /* REVISIT: Reported to cause false alarm assertions */
               DEBUGASSERT(lpc17_getreg(LPC17_ETH_RXPRODIDX) == lpc17_getreg(LPC17_ETH_RXCONSIDX));
+#endif
             }
 
           /* RX DONE -- Triggered when a receive descriptor has been
diff --git a/libc/misc/lib_init.c b/libc/misc/lib_init.c
index 08c954c79f..586699a4a4 100644
--- a/libc/misc/lib_init.c
+++ b/libc/misc/lib_init.c
@@ -114,8 +114,8 @@ void lib_streaminit(FAR struct streamlist *list)
     }
 }
 
-/* this function is called when a TCB is destroyed.  Note that is
- * does not close the file by release this inode.  This happens
+/* This function is called when a TCB is destroyed.  Note that is
+ * does not close the files by releasing the inode.  This happens
  * separately when the file descriptor list is freed.
  */