diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 435540f4407..cd9cc489d85 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -373,7 +373,7 @@
   <td><br></td>
   <td>
     <p>
-      <li>May be built either as an open, flat embedded RTOS or as a separately built, secure micro-kernel with a system call interface.</li>
+      <li>May be built either as an open, flat embedded RTOS or as a separately built, secure, monolithic kernel with a system call interface.</li>
     </p>
 </tr>
 
@@ -3231,7 +3231,7 @@ nsh>
   <td><br></td>
   <td>
     <p>
-      <b>Renesas M16C/26 Microncontroller</b>.
+      <b>Renesas M16C/26 Microcontroller</b>.
       This port uses the Renesas SKP16C26 Starter kit and the GNU M32C toolchain. 
       The development environment is either Linux or Cygwin under WinXP.
     </p>
@@ -3268,7 +3268,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
   <td><br></td>
   <td>
     <p>
-      <b>Zilog z16f Microncontroller</b>.
+      <b>Zilog z16f Microcontroller</b>.
       This port use the Zilog z16f2800100zcog development kit and the Zilog
       ZDS-II Windows command line tools.
       The development environment is either Windows native or Cygwin under Windows.
@@ -3291,7 +3291,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
   <td><br></td>
   <td>
     <p>
-      <b>Zilog eZ80Acclaim! Microncontroller</b>.
+      <b>Zilog eZ80Acclaim! Microcontroller</b>.
       There are two eZ80Acclaim! ports:
     </p>
     <ul>
@@ -3324,7 +3324,7 @@ BFD_ASSERT (*plt_offset != (bfd_vma) -1);
   <td><br></td>
   <td>
     <p>
-      <b>Zilog Z8Encore! Microncontroller</b>.
+      <b>Zilog Z8Encore! Microcontroller</b>.
       This port uses the either:
     </p>
     <ul>