diff --git a/embedded-workshop-book/src/tooling-check.md b/embedded-workshop-book/src/tooling-check.md
index 82a69e3..e260850 100644
--- a/embedded-workshop-book/src/tooling-check.md
+++ b/embedded-workshop-book/src/tooling-check.md
@@ -4,8 +4,6 @@
 
 ✅ Let's check that you have installed all the tools listed in the previous section.
 
-❗ The first two commands *must* return version `0.8.x`
-
 ``` console
 $ cargo size --version
 cargo-size 0.3.3
@@ -13,5 +11,3 @@ cargo-size 0.3.3
 $ nrfutil version
 nrfutil version 6.1.0
 ```
-
-✅ Now let's make sure you've installed the tools shipped with the workshop material.
diff --git a/embedded-workshop-book/src/using-hal.md b/embedded-workshop-book/src/using-hal.md
index f4f1758..4441e89 100644
--- a/embedded-workshop-book/src/using-hal.md
+++ b/embedded-workshop-book/src/using-hal.md
@@ -16,7 +16,7 @@ The `dk::init` function we have been calling in all programs initializes a few o
 $ cargo doc -p dk --open
 ```
 
-✅ Check the API docs of the `Led` abstraction then run the `led` program. Change the `led` program, so that the bottom two leds are turned on, and the top two are turned off.
+✅ Check the API docs of the `Led` abstraction. Change the `led` program, so that the bottom two LEDs are turned on, and the top two are turned off.
 
 ✅ Uncomment the `log::set_max_level` line. This will make the logs more verbose; they will now include logs from the board initialization function (`dk::init`) and from the `Led` API.