diff --git a/coq-stdpp.opam b/coq-stdpp.opam
index a9b3d990ff38cf09b80f11d7192e73b3e9ff602c..3342296cab53b7e0f71db3ce069381b95c279474 100644
--- a/coq-stdpp.opam
+++ b/coq-stdpp.opam
@@ -7,7 +7,7 @@ bug-reports: "https://gitlab.mpi-sws.org/iris/stdpp/issues"
 dev-repo: "git+https://gitlab.mpi-sws.org/iris/stdpp.git"
 version: "dev"
 
-synopsis: "std++ is an extended \"Standard Library\" for Coq"
+synopsis: "An extended \"Standard Library\" for Coq"
 description: """
 The key features of this library are as follows: