* Doc/ref/ref5.tex

  Fixed minor bug preventing documentation compilation.

Doc/ref/ref5.tex

@@ -696,7 +696,7 @@ point numbers, e.g., \code{3.14\%0.7} equals \code{0.34} (since
 yields a result with the same sign as its second operand (or zero);
 the absolute value of the result is strictly smaller than the absolute
 value of the second operand\footnote{
-    While \code{abs(x\%y) < abs(y)) is true mathematically, for
+    While \code{abs(x\%y) < abs(y)} is true mathematically, for
     floats it may not be true numerically due to roundoff.  For
     example, and assuming a platform on which a Python float is an
     IEEE 754 double-precision number, in order that \code{-1e-100 \% 1e100}