diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 6f4da9a8951..28fd69ce568 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -47,7 +47,7 @@
   </td>
 </tr>
 <tr>
-  <td valign="top" width="22"> width="20"<img height="20" width="20" src="favicon.ico"></td>
+  <td valign="top" width="22"><img height="20" width="20" src="favicon.ico"></td>
   <td>
     <a href="#environments">Development Environments</a>.<br>
     What kinds of host cross-development platforms can be used with NuttX?