diff --git a/content/installation/step-by-step.md b/content/installation/step-by-step.md
index eea35f1..094e5e4 100644
--- a/content/installation/step-by-step.md
+++ b/content/installation/step-by-step.md
@@ -80,7 +80,7 @@
 Add `$JIRI_ROOT/devtools/bin` to your `PATH`, for `jiri`:
 <!-- @addDevtoolsToPath @test -->
 ```
-export PATH=$PATH:$JIRI_ROOT/devtools/bin
+export PATH=$JIRI_ROOT/devtools/bin:$PATH
 ```
 
 Recommended for contributors: Add the line above to your `~/.bashrc` or similar.
diff --git a/content/tutorials/setup.md b/content/tutorials/setup.md
index 0dfa8d0..c8381e0 100644
--- a/content/tutorials/setup.md
+++ b/content/tutorials/setup.md
@@ -46,7 +46,7 @@
   # Use the contributor's GOPATH rather than the release. See ../testing.md.
   export GOPATH=$V_TUT:${V23_GOPATH}
 else
-  export GOPATH=$V_TUT:`jiri go env GOPATH`
+  export GOPATH=$V_TUT:`${JIRI_ROOT}/devtools/bin/jiri go env GOPATH`
 fi
 
 # HISTCONTROL set as follows excludes long file creation commands used in
diff --git a/public/bootstrap.sh b/public/bootstrap.sh
index ad9d475..f3bdc6a 100755
--- a/public/bootstrap.sh
+++ b/public/bootstrap.sh
@@ -65,14 +65,6 @@
     exit 1
   fi
 
-  # Check that the "jiri" command is not already in PATH.
-  local -r JIRI_CMD=$(which jiri)
-  if [[ -n "${JIRI_CMD}" ]]; then
-    echo "Your PATH already contains the 'jiri' command: ${JIRI_CMD}"
-    echo "Remove it from the PATH and re-run."
-    exit 1
-  fi
-
   # Check that the host OS and package manager is supported.
   case $(uname -s) in
     "Linux")