diff --git a/microbit/src/03-setup/README.md b/microbit/src/03-setup/README.md
index b7b09f460..6a5ce376b 100644
--- a/microbit/src/03-setup/README.md
+++ b/microbit/src/03-setup/README.md
@@ -69,8 +69,14 @@ cargo-size 0.3.3
 In order to install cargo-embed, first install its [prerequisites](https://probe.rs/docs/getting-started/installation/) (note: these instructions are part of the more general [`probe-rs`](https://probe.rs/) embedded debugging toolkit). Then install it with cargo:
 
 ```console
-$ cargo install probe-rs-tools --vers 0.24.0
+$ cargo install probe-rs-tools --vers '^0.24'
+```
+
+**NOTE** This may fail due to frequent changes in `probe-rs`. If so, go to <https://probe.rs> and follow the current installation instructions there.
 
+Finally, verify that you have successfully installed `cargo-embed`.
+
+```console
 $ cargo embed --version
 cargo-embed 0.24.0 (git commit: crates.io)
 ```