diff --git a/README.md b/README.md
index c43db3cc45..7b578cbf7d 100644
--- a/README.md
+++ b/README.md
@@ -75,6 +75,6 @@ We can use the command `lake build-bin` to build the package (and its dependenci
 ```
 $ lake build-bin
 ...
-$ ./build/bin/Hello
+$ ./build/bin/hello
 Hello, world!
 ```
diff --git a/examples/hello/bootstrapped-test.sh b/examples/hello/bootstrapped-test.sh
index 72ac807d31..b643b6d40d 100755
--- a/examples/hello/bootstrapped-test.sh
+++ b/examples/hello/bootstrapped-test.sh
@@ -1,3 +1,3 @@
 ./clean.sh
 ../bootstrap/build/bin/lake build-bin
-./build/bin/Hello
+./build/bin/hello
diff --git a/examples/hello/test.sh b/examples/hello/test.sh
index ce0b5ab843..34a3d950f1 100755
--- a/examples/hello/test.sh
+++ b/examples/hello/test.sh
@@ -2,4 +2,4 @@ set -e
 
 ./clean.sh
 ./package.sh
-./build/bin/Hello
+./build/bin/hello