diff --git a/README.md b/README.md
index 11e7c135983add0d1c5a4f917a4b2d1bf215ef70..3e648168dd1b0d425fe742bad0992c566070776c 100644
--- a/README.md
+++ b/README.md
@@ -129,8 +129,9 @@ then sealed behind a module signature in
 ## For Developers: How to update the Iris dependency
 
 * Do the change in Iris, push it.
-* Wait for CI to publish a new Iris version on the opam archive.
-* In lambdaRust, change opam to depend on the new version.
+* Wait for CI to publish a new Iris version on the opam archive, then run
+  `opam update iris-dev`.
+* In lambdaRust, change the `opam` file to depend on the new version.
 * Run `make build-dep` (in lambdaRust) to install the new version of Iris.
-* 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.