diff --git a/Makefile b/Makefile
index c5240942f2..7bcb66fd21 100644
--- a/Makefile
+++ b/Makefile
@@ -3082,7 +3082,7 @@ check-docs::
 		    -e 's/^/listed /' command-list.txt; \
 		$(MAKE) -C Documentation print-man1 | \
 		grep '\.txt$$' | \
-		sed -e 's|Documentation/|documented |' \
+		sed -e 's|^|documented |' \
 		    -e 's/\.txt//'; \
 	) | while read how cmd; \
 	do \