1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 2da0866..210ca92 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ Create a new terminal using Terminal -> New Terminal.
 
 Run the following:
 
-    make check-TestSimpleIntro
+    act4e-check TestSimpleIntro
 
 This will have created a file `out-results/result-TestSimpleIntro.html`.