diff --git a/README.md b/README.md
index 75242f553e2c255adf25ed3847f472d146239172..9ac050820db8e3065277fad3063c782e13790ac6 100644
--- a/README.md
+++ b/README.md
@@ -135,6 +135,6 @@ we expect it to.  You can run `MAKE_REF=1 make` to re-generate all the `.ref` fi
 this is useful after adding or removing `Show.` from a test.  If you do this,
 make sure to check the diff for any unexpected changes in the output!
 
-Some test cases have per-Coq-version `.ref` files (e.g., `atomic.8.9.ref` is a
-Coq-8.9-specific `.ref` file).  If you change one of these, remember to update
+Some test cases have per-Coq-version `.ref` files (e.g., `atomic.8.8.ref` is a
+Coq-8.8-specific `.ref` file).  If you change one of these, remember to update
 *all* the `.ref` files.