diff --git a/src/Makefile.in b/src/Makefile.in
index e65643b8684213cde6ce7f7b72a07bdbde9630e1..637c3cd6426ecd5ceb622c9d2e53ba95ed45e297 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -182,8 +182,8 @@ install:
 	  if [ -f "$(exec_prefix)/pike" ]; then \
 	    echo Renaming old "$(exec_prefix)/pike" to "$(exec_prefix)/pike.old"; \
 	    mv -f "$(exec_prefix)/pike" "$(exec_prefix)/pike.old"; \
-	  else : fi ; \
-          echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \
+	  else : ; fi ; \
+	  echo "$(exec_prefix)/pike"; $(INSTALL) ./pike $(exec_prefix) ; \
 	fi
 	@if [ -f $(SRCDIR)/../bin/hilfe ]; then \
 	  echo ; echo "Installing $(exec_prefix)/hilfe..."; \