diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index ad34c43919fde44f06c6c8062dcfe572c5460a80..4d5e348b4b64fc1bd2f1f294364c635aba9a01b7 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -9,8 +9,8 @@ tab).
 
 If you want to report a bug, please use the
 [issue tracker](https://gitlab.mpi-sws.org/FP/iris-coq/issues), which also
-requires a GitLab account.  To contribute code, please send your MPI-SWS GitLab
-username to [Ralf Jung](https://gitlab.mpi-sws.org/jung) to enable personal
-projects for your account.  Then you can fork the
+requires an MPI-SWS GitLab account.  To contribute code, please send your
+MPI-SWS GitLab username to [Ralf Jung](https://gitlab.mpi-sws.org/jung) to
+enable personal projects for your account.  Then you can fork the
 [Iris git repository](https://gitlab.mpi-sws.org/FP/iris-coq/), make your
 changes in your fork, and create a merge request.