diff --git a/opam b/opam
index ca274439291b330ba7c68c33b416419b9bf8562c..aa0eb956695b140a419011f39e1324f0c46a5ac1 100644
--- a/opam
+++ b/opam
@@ -1,7 +1,7 @@
 opam-version: "1.2"
 name: "coq-iris-examples"
 maintainer: "Ralf Jung <jung@mpi-sws.org>"
-authors: "The Iris Team"
+authors: "The Iris Team and Contributors"
 homepage: "http://iris-project.org/"
 bug-reports: "https://gitlab.mpi-sws.org/FP/iris-examples/issues"
 dev-repo: "https://gitlab.mpi-sws.org/FP/iris-examples.git"