diff --git a/embedded-workshop-book/src/listing-usb-devices.md b/embedded-workshop-book/src/listing-usb-devices.md
index 49843ad..e9c56c1 100644
--- a/embedded-workshop-book/src/listing-usb-devices.md
+++ b/embedded-workshop-book/src/listing-usb-devices.md
@@ -1,9 +1,11 @@
 # 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 `usb-list`.
 
+❗️ If you haven't yet installed `usb-list`; [installation instructions can be found in a previous section][install].
+
+[install]: ./tooling-check.md#more-tools
+
 ``` console
 $ usb-list
 Bus 002 Device 001: ID 1d6b:0003