diff --git a/embedded-workshop-book/src/dongle.md b/embedded-workshop-book/src/dongle.md
index b97d826..1692f6b 100644
--- a/embedded-workshop-book/src/dongle.md
+++ b/embedded-workshop-book/src/dongle.md
@@ -18,11 +18,11 @@ When the Dongle is in bootloader mode its red LED will oscillate in intensity. T
 
 You can also use our `usb-list` tool, a minimal cross-platform version of the `lsusb` tool, to check out the status of the Dongle.
 
-✅ Run the `usb-list` to list all USB devices; the Dongle will be highlighted in the output, along with a note if in bootloader mode.
+✅ Run `usb-list` to list all USB devices; the Dongle will be highlighted in the output, along with a note if in bootloader mode.
 
 Output should look like this:
 ``` console
-$ cargo run
+$ usb-list
 (..)
 Bus 001 Device 016: ID 1915:521f <- nRF52840 Dongle (in bootloader mode)
 ```
diff --git a/embedded-workshop-book/src/listing-usb-devices.md b/embedded-workshop-book/src/listing-usb-devices.md
index d5241aa..49843ad 100644
--- a/embedded-workshop-book/src/listing-usb-devices.md
+++ b/embedded-workshop-book/src/listing-usb-devices.md
@@ -1,26 +1,27 @@
 # Listing USB Devices
 
-In the `tools` folder you'll find `usb-list`: a minimal cross-platform version of the `lsusb` tool. 
-
-✅ To list all USB devices, run the progam using `cargo run` from `tools/usb-list`.
+In the `tools` folder you'll find `usb-list`: a minimal cross-platform version of the `lsusb` tool.
 
+✅ To list all USB devices, run `usb-list`.
 
 ``` console
-$ cargo run
+$ usb-list
 Bus 002 Device 001: ID 1d6b:0003
 Bus 001 Device 002: ID 0cf3:e300
 Bus 001 Device 003: ID 0c45:6713
 Bus 001 Device 001: ID 1d6b:0002
+Bus 001 Device 010: ID 1366:1015 <- J-Link on the nRF52840 Development Kit
 ```
 
-The goal of this exercise is to get the nRF52840 SoC to show in this list. The embedded application will use the vendor ID (VID) and product ID (PID) defined in `advanced/common/consts`; the `usb-list` tool will highlight the USB device that matches that VID PID pair.
+The goal of this workshop is to get the nRF52840 SoC to show in this list. The embedded application will use the vendor ID (VID) and product ID (PID) defined in `advanced/common/consts`; the `usb-list` tool will highlight the USB device that matches that VID PID pair.
 
 ``` console
 $ # expected output
-$ cargo run
+$ usb-list
 Bus 002 Device 001: ID 1d6b:0003
 Bus 001 Device 002: ID 0cf3:e300
 Bus 001 Device 003: ID 0c45:6713
 Bus 001 Device 001: ID 1d6b:0002
+Bus 001 Device 010: ID 1366:1015 <- J-Link on the nRF52840 Development Kit
 Bus 001 Device 059: ID 2020:0717 <- nRF52840 on the nRF52840 Development Kit
-```
\ No newline at end of file
+```