diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 69a99ddc5a1..b90591958be 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1976,6 +1976,9 @@ nuttx-5.11 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr>
 	  (see email thread: http://tech.groups.yahoo.com/group/nuttx/message/530)
 	* drivers/mtd/at45db.c - Add a driver for the Atmel AT45DB161D 4Mbit
 	  SPI FLASH part (untested on initial check-in).
+	* arch/arm/src/lm3s and arch/arm/include/lm3s - Corrections for the
+	  lm3s8962 port contributed by Larry Arnold.  That port is purported
+	  to work correctly with these changes in place.
 	* examples/ostest/prioinherit.c - Need to reinitialize globals if
 	  test is ran repeatedly in a loop.