diff --git a/README.md b/README.md
index 0d65d96e7322e9f67d7088294bb3a01c310b7f5b..490b7ec3a638f7f362dd693f81e92a81615b67d5 100644
--- a/README.md
+++ b/README.md
@@ -30,8 +30,7 @@ Then you can do `opam install coq-iris.3.1.0`.
 ## Installing Iris from source
 
 If you are unable to use opam, you can also build Iris from source. For this,
-make sure to `git checkout` the correct versions, and run `make; make install`
-for all of:
+run `make; make install` for all of:
 
 * ssreflect: <https://github.com/math-comp/math-comp/archive/mathcomp-1.7.0.tar.gz>
   (`cd mathcomp/ssreflect` to only compile and install what is needed)