diff --git a/Makefile.inc1 b/Makefile.inc1
index e1a8ce883fd..40a05de601a 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1409,7 +1409,7 @@ distributeworld installworld stageworld: _installcheck_world .PHONY
 	# basis, otherwise we'll just mention that we're not doing it to raise
 	# awareness.
 	@if which certctl>/dev/null; then \
-		certctl rehash \
+		certctl rehash; \
 	else \
 		echo "No certctl on the host, not rehashing target -- /etc/ssl may not be populated."; \
 	fi