diff --git a/INSTALL b/INSTALL
index b976b817..00383ff3 100755
--- a/INSTALL
+++ b/INSTALL
@@ -208,8 +208,10 @@ if $doinstall; then
 	echo "* Done. "
 	echo "	"
 	echo "* Add these to your profile environment."
-	echo "	PLAN9=$PLAN9 export PLAN9"
-	echo '	PATH=$PATH:$PLAN9/bin export PATH'
+	echo "	PLAN9=$PLAN9"
+	echo "	export PLAN9"
+	echo '	PATH=$PATH:$PLAN9/bin'
+	echo "	export PLAN9"
 fi
 ) 2>&1 | tee install.log | $awk -f $PLAN9/dist/isum.awk -v 'copy='install.sum