Update ARM on the default ordering

diff --git a/doc/arm/Bv9ARM.ch05.html b/doc/arm/Bv9ARM.ch05.html
index d92048b94eef9a828aff1d3abb0c582543414b8e..19a8a5f365338a1377e30e3dbde197a86cf765f1 100644 (file)
--- a/doc/arm/Bv9ARM.ch05.html
+++ b/doc/arm/Bv9ARM.ch05.html
@@ -6779,7 +6779,8 @@ avoid-v6-udp-ports { 40000; range 50000 60000; };
                   </td>
 <td>
                     <p>
-                      Records are returned in some random order.
+                      Records are returned in some random order. When no
+                      ordering is specified, this is the default.
                     </p>
                   </td>
 </tr>
@@ -6810,8 +6811,7 @@ avoid-v6-udp-ports { 40000; range 50000 60000; };
                       Records are returned in whatever order they were
                       retrieved from the database.  This order is
                       indeterminate, but will be consistent as long as the
-                      database is not modified. When no ordering is
-                      specified, this is the default.
+                      database is not modified.
                     </p>
                   </td>
 </tr>