diff --git a/papers/POPL20.md b/papers/POPL20.md
index caef8ab238bfbb7c8125e82c22ef0799049d5dfd..079b54d7b76d0af869f607c7e82853f38dadc9c3 100644
--- a/papers/POPL20.md
+++ b/papers/POPL20.md
@@ -1,5 +1,5 @@
 The state of the repository at the time of publication can be found at
-[https://gitlab.mpi-sws.org/iris/actris/-/tree/POPL20](https://gitlab.mpi-sws.org/iris/actris/-/tree/POPL20)
+[https://gitlab.mpi-sws.org/iris/actris/-/tree/popl20](https://gitlab.mpi-sws.org/iris/actris/-/tree/popl20)
 
 ## Examples