diff --git a/configs/stm32f746g-disco/README.txt b/configs/stm32f746g-disco/README.txt
index 9db3766cea8..a6e72149be4 100644
--- a/configs/stm32f746g-disco/README.txt
+++ b/configs/stm32f746g-disco/README.txt
@@ -50,8 +50,12 @@ STATUS
     only light testing.
 
   2015-07-21:  Added a protected build version of the NSH configuration
-    (called knsh).  That configuration is close:  It boots, but is prone
-    to hard faulting.  It needs a little TLC to be fully usable.
+    (called knsh).  That configuration is close:  It boots, but I get
+    a hard fault each time I do the NSH "help" command.  Everything else
+    works fine.  I am thinking this is a corrupted binary; I am thinking
+    that there is a bad pointer in the command table.  But this is hard
+    to prove but possible because the steps to produce and load the
+    binary are awkward.
 
 Development Environment
 =======================