diff --git a/README.md b/README.md
index dc0245a8..6c6286e0 100644
--- a/README.md
+++ b/README.md
@@ -51,7 +51,7 @@ python verify.py --name gpt4o-ab-sampled --config-file config-artifact-openai.js
    git clone https://github.com/verus-lang/verus.git
    cd verus
    git checkout 33269ac6a0ea33a08109eefe5016c1fdd0ce9fbd
-   ./tools/get-z3.sh && source tools/activate
+   ./source/tools/get-z3.sh && source tools/activate
    vargo build --release
    ```
 
@@ -140,4 +140,4 @@ If you find this work useful, please consider citing:
   year={2025},
   publisher={ACM New York, NY, USA}
 }
-```
\ No newline at end of file
+```