diff --git a/src/doc/guide.md b/src/doc/guide.md
index fabf04124baf7a4f19ec3070cd702b341f1f146b..f33398b1a4eae31c8e15e384e0a1dc807b366c72 100644
--- a/src/doc/guide.md
+++ b/src/doc/guide.md
@@ -239,8 +239,8 @@ $ dir
 hello_world.exe  hello_world.rs
 ```
 
-There are now two files: our source code, with the `.rs`, and the executable.
-We ran the executable like this:
+There are now two files: our source code, with the `.rs` extension, and the
+executable (`hello_world.exe` on Windows, `hello_world` everywhere else)
 
 ```{bash}
 $ ./hello_world  # or ./hello_world.exe on Windows