diff --git a/content/community/contributing.md b/content/community/contributing.md
index 1244060..8c273bc 100644
--- a/content/community/contributing.md
+++ b/content/community/contributing.md
@@ -19,7 +19,7 @@
 and have added `$JIRI_ROOT/devtools/bin` to your `PATH`:
 
     # Edit to taste.
-    export JIRI_ROOT=${HOME}/vanadium
+    export JIRI_ROOT=${HOME}/v23_root
     export PATH=$PATH:$JIRI_ROOT/devtools/bin
 
 Recommended: Add the lines above to your `~/.bashrc` or similar.