diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 00368df0e6c..3c122166b46 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -3041,8 +3041,8 @@ build
     handle and enables the API mm_addregion(start, end);
   </li>
   <li>
-    <code>CONFIG_TICKS_PER_MSEC</code>: The default system timer is 100Hz
-    or <code>TICKS_PER_MSEC</code>=10.  This setting may be defined to inform NuttX
+    <code>CONFIG_MSEC_PER_TICK</code>: The default system timer is 100Hz
+    or <code>MSEC_PER_TICK</code>=10.  This setting may be defined to inform NuttX
     that the processor hardware is providing system timer interrupts at some interrupt
     interval other than 10 msec.
   </li>