diff --git a/papers/LMCS.md b/papers/LMCS.md
index d0a3a0fc63519e5def4df57a640a0a206fd06ef8..81a8db977ea736535e11be3409393ccafecda859 100644
--- a/papers/LMCS.md
+++ b/papers/LMCS.md
@@ -1,6 +1,6 @@
 ## Examples
 
-The examples of the original POPL20 paper are covered in
+Differences from the original POPL20 paper alon with examples thereof are covered in
 [papers/POPL20.md](POPL20.md).
 
 The following list gives a mapping between the additional examples in the
diff --git a/papers/POPL20.md b/papers/POPL20.md
index 4a143533db0125ceec5f986afe28327527eeab32..caef8ab238bfbb7c8125e82c22ef0799049d5dfd 100644
--- a/papers/POPL20.md
+++ b/papers/POPL20.md
@@ -1,3 +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)
 
 ## Examples