diff --git a/content/community/coding-guidelines.md b/content/community/coding-guidelines.md
index d3a2582..6676ce7 100644
--- a/content/community/coding-guidelines.md
+++ b/content/community/coding-guidelines.md
@@ -11,6 +11,8 @@
 
 ```
  $JIRI_ROOT
+   .jiri_root        # Jiri utils and metadata
+     scripts/jiri    # Jiri command-line tool
    devtools          # Contributor tool binaries
    environment       # Platform-dependent configuration
    manifest          # Multi-repo configuration data
diff --git a/content/installation/step-by-step.md b/content/installation/step-by-step.md
index 6f572d2..553c6a3 100644
--- a/content/installation/step-by-step.md
+++ b/content/installation/step-by-step.md
@@ -94,10 +94,10 @@
 curl -f https://vanadium.github.io/bootstrap.sh | bash
 ```
 
-Add `$JIRI_ROOT/devtools/bin` to your `PATH`, for `jiri`:
+Add `$JIRI_ROOT/.jiri_root/scripts` to your `PATH`, for `jiri`:
 <!-- @addDevtoolsToPath @test -->
 ```
-export PATH=$JIRI_ROOT/devtools/bin:$PATH
+export PATH=$JIRI_ROOT/.jiri_root/scripts:$PATH
 ```
 
 Recommended for contributors: Add the line above to your `~/.bashrc` or similar.
@@ -110,7 +110,7 @@
 We recommend using the `jiri v23-profile` command to install all such
 prerequisites. This command uses `apt-get` on Linux and `brew` on OS X. Note,
 the `jiri` tool and its various plugins are located in
-`$JIRI_ROOT/devtools/bin`.
+`$JIRI_ROOT/.jiri_root/scripts`.
 <!-- @installBaseProfile @test -->
 ```
 jiri v23-profile install base