diff --git a/doc/arm/Bv9ARM.ch06.html b/doc/arm/Bv9ARM.ch06.html
index df43cd157a..1a0bc71cec 100644
--- a/doc/arm/Bv9ARM.ch06.html
+++ b/doc/arm/Bv9ARM.ch06.html
@@ -4858,11 +4858,11 @@ CLASS="userinput"
 IPv4-mapped IPv6 address will match any address match
 list entries that match the corresponding IPv4 address.
 Enabling this option is sometimes useful on IPv6-enabled Linux
-systems, to work around a kernel bug that causes IPv4
+systems, to work around a kernel quirk that causes IPv4
 TCP connections such as zone transfers to be accepted
 on an IPv6 socket using mapped addresses, causing
 address match lists designed for IPv4 to fail to match.
-Its use for any other purpose is discouraged.
+The use of this option for any other purpose is discouraged.
 </P
 ></DD
 ></DL