diff --git a/src/Makefile.in b/src/Makefile.in
index 4f534dd770b9bf6d96a7b92838ce2db42e6f148f..fc9570baa72e03bc2b3f82299023574cdcf98651 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -189,7 +189,7 @@ install:
 	      mv $(exec_prefix)/hilfe $(exec_prefix)/hilfe.old; \
 	    else : ; fi && \
 	    sed -e 's!/usr/local/bin!$(exec_prefix)!' <$(SRCDIR)/../bin/hilfe \
-	      >$(exec_prefix)/hilfe || exit 1\
+	      >$(exec_prefix)/hilfe || exit 1; \
 	  else \
 	    $(INSTALL) $(SRCDIR)/../bin/hilfe $(exec_prefix) || exit 1; \
 	  fi; \