diff --git a/INSTALL.md b/INSTALL.md
index a6bd8428a96ad0dc3877e2cd2c0de476a6f277c5..4da90aabb490249618619ddef4357f9b3287e0e4 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -59,7 +59,7 @@ rights):
     opam install frama-c
 
 For older `opam` versions, you have to install it
-separately and call it explicitely with the following commands, before
+separately and call it explicitly with the following commands, before
 installing Frama-C as above. Again, installing the external dependencies
 requires administrative rights.
 
@@ -94,7 +94,7 @@ why3 config detect
 ### Reference configuration
 
 See file [reference-configuration.md](reference-configuration.md)
-for a set of packages that is known to work with Frama-C 24 (Chromium).
+for a set of packages that is known to work with Frama-C+dev.
 
 ### Installing Custom Versions of Frama-C