diff --git a/fp.texi b/fp.texi
index 01ebae2..c462081 100644
--- a/fp.texi
+++ b/fp.texi
@@ -934,7 +934,7 @@ Infinities can be compared, and all Infinities of the same sign are
 equal: there is no notion in IEEE 754 arithmetic of different kinds of
 Infinities, as there are in some areas of mathematics.  Positive
 Infinity is larger than any finite value, and negative Infinity is
-smaller than finite value.
+smaller than any finite value.
 
 Infinities propagate in addition, subtraction, multiplication,
 and square root, but in division, they disappear, because of the