diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 28e97d01bfe..e386b6bdb6c 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1518,9 +1518,9 @@
   <td>
     <p>
       <b>SoC Robotics ATMega128</b>.
-      This port of NuttX to the Amber Web Server from SoC Robotics
-      (http://www.soc-robotics.com/index.htm) partially complete.  The Amber Web Server is
-      based on an Atmel ATMega128.
+      This port of NuttX to the Amber Web Server from <a href="http://www.soc-robotics.com/index.htm">SoC Robotics</a>
+      is partially completed.
+      The Amber Web Server is based on an Atmel ATMega128.
     </p>
     <ul>
       <p>
@@ -1550,10 +1550,7 @@
        <b>STATUS:</b>
          The basic port was release in NuttX-6.5.  This basic port consists only of
          a "Hello, World!!" example that demonstrates initialization of the OS,
-         creation of a simple task, and serial console output.  A complete OS
-         test configuration is also available, but this would have to be scaled
-         down quite a bit before it could be executed in the tiny AT90USB SRAM
-         memory.
+         creation of a simple task, and serial console output.
       </p>
     </ul>
   </td>
@@ -1568,15 +1565,17 @@
     <p>
       <b>PJRC Teensy++ 2.0 AT9USB1286</b>.
       This is a port of NuttX to the PJRC Teensy++ 2.0 board.
-      This board is developed by http://pjrc.com/teensy/. 
+      This board is developed by <a href="http://pjrc.com/teensy/">PJRC</a>.
       The Teensy++ 2.0 is based on an Atmel AT90USB1286 MCU.
     </p>
     <ul>
       <p>
        <b>STATUS:</b>
-         Work on the Teensy board is just beginning as of this writing.
-         However, because of the great similarity to the Micropendous board,
-         this port should be completed with only a small additional effort.
+         The basic port was release in NuttX-6.5.  This basic port consists of
+         a "Hello, World!!" example that demonstrates initialization of the OS,
+         creation of a simple task, and serial console output as well as a
+         simplified NuttShell (NSH) configuration (see the
+         <a href="http://www.nuttx.org/NuttShell.html">NSH User Guide</a>).
       </p>
     </ul>
   </td>