diff --git a/src/Makefile.in b/src/Makefile.in
index 637c3cd6426ecd5ceb622c9d2e53ba95ed45e297..1b68b1ec9803fa79764ca4ec37764a0f56babcb5 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -193,7 +193,7 @@ install:
 	      mv $(exec_prefix)/hilfe $(exec_prefix)/hilfe.old; \
 	    else : ; fi && \
 	    ( sed -e 's!/usr/local/bin!$(exec_prefix)!' <$(TMP_BINDIR)/hilfe \
-	      >./hilfe && chmod 755 ./hilfe && $(INSTALL) ./hilfe $(exec_prefix) || exit 1\
+	      >./hilfe && chmod 755 ./hilfe && $(INSTALL) ./hilfe $(exec_prefix)) || exit 1 ; \
 	  else \
 	    $(INSTALL) $(TMP_BINDIR)/hilfe $(exec_prefix) || exit 1; \
 	  fi; \