diff --git a/Makefile b/Makefile
index 8d16271ee85721d5a43e8e75a067ad3a9f068a9f..69d14288dd6d7d893f0bdf09882ec59a98f66e97 100644
--- a/Makefile
+++ b/Makefile
@@ -30,8 +30,7 @@ BUILDDEPFILES=$(addsuffix -builddep.opam, $(addprefix builddep/,$(basename $(OPA
 builddep/%-builddep.opam: %.opam Makefile
 	@echo "# Creating builddep package for $<."
 	@mkdir -p builddep
-	@sed <$< -E 's/^(build|install|remove):.*/\1: []/; s/^name: *"(.*)" */name: "\1-builddep"/; s/"(.*)"(.*= *version.*)$$/"\1-builddep"\2/;' >$@
-	@fgrep builddep $@ >/dev/null || (echo "sed failed to fix the package name" && exit 1) # sanity check
+	@sed <$< -E 's/^(build|install|remove):.*/\1: []/; s/"(.*)"(.*= *version.*)$$/"\1-builddep"\2/;' >$@
 
 builddep-opamfiles: $(BUILDDEPFILES)
 .PHONY: builddep-opamfiles
diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index 406f55d80fe1ca581c2ae044716d280b6441e71a..aa072f1adc0b2b2658dfde3a351ca670d18e974d 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -1,5 +1,4 @@
 opam-version: "2.0"
-name: "coq-stdpp"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
 authors: "The std++ team"
 license: "BSD-3-Clause"