diff --git a/doc/arm/Bv9ARM.ch06.html b/doc/arm/Bv9ARM.ch06.html
index 2bb972e428..691293889e 100644
--- a/doc/arm/Bv9ARM.ch06.html
+++ b/doc/arm/Bv9ARM.ch06.html
@@ -2751,7 +2751,7 @@ badresp:1,adberr:0,findfail:0,valfail:0]
                     <span class="command"><strong>fstrm-set-buffer-hint</strong></span>: The
                     threshold number of bytes to accumulate in the output
                     buffer before forcing a buffer flush. The minimum is
-                    1024, the maximum is 65536, and the default is 8096.
+                    1024, the maximum is 65536, and the default is 8192.
                   </li>
 <li class="listitem">
                     <span class="command"><strong>fstrm-set-flush-timeout</strong></span>: The number
diff --git a/doc/arm/Bv9ARM.ch09.html b/doc/arm/Bv9ARM.ch09.html
index 9e0773b302..af99c41db3 100644
--- a/doc/arm/Bv9ARM.ch09.html
+++ b/doc/arm/Bv9ARM.ch09.html
@@ -277,7 +277,7 @@
 	  <span class="command"><strong>dnssec-keymgr</strong></span>, has been added. This tool
 	  is meant to run unattended (e.g., under <span class="command"><strong>cron</strong></span>).
 	  It reads a policy definition file
-	  (default: <code class="filename">/etc/dnssec.policy</code>)
+	  (default <code class="filename">/etc/dnssec-policy.conf</code>)
 	  and creates or updates DNSSEC keys as necessary to ensure that a
 	  zone's keys match the defined policy for that zone.  New keys are
 	  created whenever necessary to ensure rollovers occur correctly.
diff --git a/doc/arm/notes.html b/doc/arm/notes.html
index 509a0dc999..8e8531556f 100644
--- a/doc/arm/notes.html
+++ b/doc/arm/notes.html
@@ -239,7 +239,7 @@
 	  <span class="command"><strong>dnssec-keymgr</strong></span>, has been added. This tool
 	  is meant to run unattended (e.g., under <span class="command"><strong>cron</strong></span>).
 	  It reads a policy definition file
-	  (default: <code class="filename">/etc/dnssec.policy</code>)
+	  (default <code class="filename">/etc/dnssec-policy.conf</code>)
 	  and creates or updates DNSSEC keys as necessary to ensure that a
 	  zone's keys match the defined policy for that zone.  New keys are
 	  created whenever necessary to ensure rollovers occur correctly.