diff --git a/install.sh b/install.sh
index 317aaba..f5d5f30 100755
--- a/install.sh
+++ b/install.sh
@@ -19,7 +19,7 @@ ret=0
 # for discussion of alternatives.
 
 for i in _reformat-common.bash do-reformat.sh would-reformat.sh .root; do
-    if [[ -f "$here"/bin/"$i" ]] ; then
+    if [[ -f "$here"/bin/"$i" ]]; then
         dest=$(readlink bin/"$i")
         if [[ "$dest" == "$DIR/$i" ]]; then
             echo "$i" is in place, good