diff --git a/INSTALL.md b/INSTALL.md
index 566d373792..a59d4002ca 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -253,7 +253,7 @@ If this works, then proceed to [Installation](#installation). Otherwise, ask for
 4. After the tools are installed, devkitPro must now be made accessible from anywhere by the system. To do so, run the following commands:
 
     ```bash
-    export DEVKITPRO=$HOME/devkitpro
+    export DEVKITPRO=/opt/devkitpro
     echo "export DEVKITPRO=$DEVKITPRO" >> ~/.bashrc
     export DEVKITARM=$DEVKITPRO/devkitARM
     echo "export DEVKITARM=$DEVKITARM" >> ~/.bashrc