diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index d0e699e8d63..8ec9de6526a 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -3580,7 +3580,7 @@ nsh>
   <td>
     <p>
       <a name="titm4c129x"><b>TI Tiva TM4C129X</b>.</a>
-      This port uses the TI Tiva C Series TM4C129x Connected Development Kit <a href="http://www.ti.com/tool/dk-tm4c129x">(DK-TM4C129X)</a>.
+      This port uses the TI Tiva C Series TM4C129X Connected Development Kit <a href="http://www.ti.com/tool/dk-tm4c129x">(DK-TM4C129X)</a>.
     </p>
     <ul>
       <p>