diff --git a/CHANGELOG.md b/CHANGELOG.md
index 092ac9a96d79d1d36eabbe3ccdb5f0deeee90005..a965009cfa4365c8b48c141c9574c152c9251543 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -20,7 +20,7 @@ Coq development, but not every API-breaking change is listed.  Changes marked
 
 **Changes in Coq:**
 
-* Added support for Coq 8.10 and Coq 8.11; dropped support for Coq 8.7.
+* Added support for Coq 8.10 and Coq 8.11; dropped support for Coq 8.7 and Coq 8.8.
 * A new tactic `iStopProof` to turn the proof mode entailment into an ordinary
   Coq goal `big star of context ⊢ proof mode goal`.
 * Rename `iProp`/`iPreProp` to `iPropO`/`iPrePropO` since they are `ofeT`s.