diff --git a/tools-setup.md b/tools-setup.md
index 87dee0c058902fef6f966fa845008307764a04da..b12c7e6e4393210009a1825c0326bcba6d3e9a1c 100644
--- a/tools-setup.md
+++ b/tools-setup.md
@@ -96,7 +96,8 @@ Run:
 ```shell
 code
 ```
-VSCode is correctly installed if this opens a window, you can then close this window.
+VSCode is correctly installed if this opens a window, you can then close this
+window. If the `code` command is not recognized, try restarting your computer.
 
 ## Step 8: Generate a public/private SSH key pair