diff --git a/doc/arm/Bv9ARM.ch06.html b/doc/arm/Bv9ARM.ch06.html
index dea4b35e2b..be8919748a 100644
--- a/doc/arm/Bv9ARM.ch06.html
+++ b/doc/arm/Bv9ARM.ch06.html
@@ -1528,7 +1528,7 @@ notrace</strong></span>. All debugging messages in the server have a debug
             logged in ISO8601 format.  If set to
             <strong class="userinput"><code>iso8601-utc</code></strong>, then the date and time
             are logged in ISO8601 format, with time zone set to
-            UTC. The default is <strong class="userinput"><code>local</code></strong>.
+            UTC. The default is <strong class="userinput"><code>no</code></strong>.
           </p>
           <p>
             <span class="command"><strong>print-time</strong></span> may