math-comp
diff --git a/‎index.html
+19-19 b/‎index.html
+19-19
diff --git a/‎index.org
+2-2 b/‎index.org
+2-2
@@ -62,8 +62,8 @@ software license agreement.
 - The Ssreflect language comes with a dedicated reference manual,
   as a [[https://coq.inria.fr/distrib/current/refman/proof-engine/ssreflect-proof-language.html][chapter]] of Coq's reference manual.
 
-- A [[https://math-comp.github.io/mcb/][book]] is in progress, and introduces the techniques for writing
-  algorithms and proofs and describing the design ideas of the
+- A [[https://math-comp.github.io/mcb/][book]] that introduces the techniques for writing
+  algorithms and proofs and describes the design ideas of the
   library.
 
 ** More material