CVS difference for ai05s/ai05-0260-1.txt

--- ai05s/ai05-0260-1.txt	2011/07/29 04:10:40	1.2
+++ ai05s/ai05-0260-1.txt	2011/11/01 05:32:53	1.3
@@ -47,7 +47,7 @@
 for some signed integer value N, this result satisfies the relation: 
 @dby
 The signed integer modulus operator is defined such that the result of A @b<mod> B is
-either zero or has the sign of B and an absolute value less than the absolute value
+either zero, or has the sign of B and an absolute value less than the absolute value
 of B; in addition, for some signed integer value N, this result satisfies the
 relation: