diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index bad56cd4085..4b8d9ebe233 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -865,7 +865,7 @@
       <p>
         <b>STATUS:</b>
         This port boots and passes the OS test (examples/ostest) and includes a
-        working includes a working implementation of the NuttShell (<a href="NuttShell.html">(NSH)</a>).
+        working implementation of the NuttShell (<a href="NuttShell.html">NSH</a>).
         The port is complete and verified.
         As of NuttX 5.3, the port includes only basic timer interrupts and serial console support.
       </p>
@@ -926,10 +926,8 @@
     <ul>
       <p>
         <b>STATUS:</b>
-          This port is in progress.  Coding is complete on the basic port (timer, serial console, SPI).
-          Verified support for the i.MX1 will be announced in a future release of NuttX (work was
-          been temporarily stopped to support the Luminary LM3S6918 and I have not yet worked around
-		  some development tool issues.).
+          This port has stalled due to development tool issues.
+          Coding is complete on the basic port (timer, serial console, SPI).
       </p>
     </ul>
    </td>
@@ -978,9 +976,9 @@
           The basic EA3131 port is complete and verified in NuttX-5.2 
           This basic port includes basic boot-up, serial console, and timer interrupts.
           This port was extended in NuttX 5.3 with a USB high speed driver contributed by David Hewson.
-          This port has been verified on the using the NuttX OS test, USB serial and mass storage
+          This port has been verified using the NuttX OS test, USB serial and mass storage
           tests and includes a working implementation of the NuttShell (<a href="NuttShell.html">(NSH)</a>).
-          An extended release will follow and should include SDIO-based SD card support.
+          An extended release may follow and should include SDIO-based SD card support.
       </p>
     </ul>
   </td>