diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index cb2fcdda80e..13f2d7f5b8d 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -33,10 +33,10 @@
 <li><b>8051 Microcontroller</b>.
     This port uses the <a href="http://www.pjrc.com/">PJRC</a> 87C52 development system
     and the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain.
-    This port will require a few more weeks before it is ready for time prime.</li>
+    This port will require a few more weeks before it is ready for prime time.</li>
 <li><b>Motorola (Freescale) MC68HC908GP32 Microcontroller</b>.
     Using the Axiom CMS8GP32 development board.
-    This is next in the queue.</li?
+    This is next in the queue.</li>
 <li><b>Other ports</b>.
     I also have partial ports for the TI TMS320DM270 and for MIPS. 
 </ul>