diff --git a/doc/arm/Bv9ARM.ch06.html b/doc/arm/Bv9ARM.ch06.html
index aa4058ca08..8391da5545 100644
--- a/doc/arm/Bv9ARM.ch06.html
+++ b/doc/arm/Bv9ARM.ch06.html
@@ -4776,7 +4776,8 @@ options {
                 <p>
                   Specifies a list of addresses to which
                   <span class="command"><strong>filter-aaaa-on-v4</strong></span>
-                  is applies.  The default is <strong class="userinput"><code>any</code></strong>.
+                  and <span class="command"><strong>filter-aaaa-on-v6</strong></span>
+                  apply.  The default is <strong class="userinput"><code>any</code></strong>.
                 </p>
               </dd>
 <dt><span class="term"><span class="command"><strong>no-case-compress</strong></span></span></dt>