diff --git a/INSTALL b/INSTALL
index d9d381c8..3b065fee 100755
--- a/INSTALL
+++ b/INSTALL
@@ -116,5 +116,5 @@ if $doinstall; then
 	echo "	PLAN9=$PLAN9 export PLAN9"
 	echo '	PATH=$PATH:$PLAN9/bin export PATH'
 fi
-) 2>&1 | tee install.log | awk -f $PLAN9/dist/isum.awk -v'copy='install.sum
+) 2>&1 | tee install.log | awk -f $PLAN9/dist/isum.awk -v 'copy='install.sum