diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index b51b5e7b32..84e0024ef8 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1789,7 +1789,7 @@
           Not all features have been verified.
           Support for FAT file system on an an SD card had been verified.
           The ENC28J60 network is functional (but required lifting the chip select pin on the W25x16 part).
-          Customizations for the v3 version of the Wildfire board a selectable (but untested).
+          Customizations for the v3 version of the Wildfire board are selectable (but untested).
         </li>
       </ul>
       <p>
@@ -1820,15 +1820,20 @@
       <ul>
         <b>STATUS:</b>
         Configurations for the basic OS test and NSH are available and verified.
+        Networking is functional.
       </ul>
     </p>
     <p>
-      <b>Shenzhou</b>
-      Work is underway as of this writing to port NuttX to the Shenzhou development board (See <a href="http://www.armjishu.com">www.armjishu.com</a>) featuring the STMicro STM32F107VCT MCU.
-      If all goes according to plan, this port should be verified and avaialble in NuttX-6.22.
+      <b>Shenzhou IV</b>
+      Work is underway as of this writing to port NuttX to the Shenzhou IV development board (See <a href="http://www.armjishu.com">www.armjishu.com</a>) featuring the STMicro STM32F107VCT MCU.
+      If all goes according to plan, this port should be verified and available in NuttX-6.22.
       <ul>
         <b>STATUS:</b>
         In progress.
+        The following have been verified:
+        (1) Basic Cortex-M3 port, 
+        (2) Ethernet,
+        (3) On-board LEDs
       </ul>
     </p>
    </td>