diff --git a/README.md b/README.md
index 1cfec97a868839746efe746d895bd84c7bba8160..5f2ab34db21a2e4a086628cc3ce52134c0b77cd7 100644
--- a/README.md
+++ b/README.md
@@ -71,8 +71,9 @@ document is [available online](http://plv.mpi-sws.org/iris/appendix-3.0.pdf).
 ## For Developers: How to update the std++ dependency
 
 * Do the change in std++, push it.
-* Wait for CI to publish a new std++ version on the opam archive.
-* In Iris, change opam to depend on the new version.
+* Wait for CI to publish a new std++ version on the opam archive, then run
+  `opam update iris-dev`.
+* In Iris, change the `opam` file to depend on the new version.
 * Run `make build-dep` (in Iris) to install the new version of std++.
-* You may have to do `make clean` as Coq will likely complain about .vo file
+  You may have to do `make clean` as Coq will likely complain about .vo file
   mismatches.