diff --git a/iris_staging/algebra/mono_list.v b/iris_staging/algebra/mono_list.v
index c1f6b4b15479a1f3b7e05ff6941d41999e4ee4ee..ee2468dd707c1e34e056a047d8e832576ac2f7bf 100644
--- a/iris_staging/algebra/mono_list.v
+++ b/iris_staging/algebra/mono_list.v
@@ -1,5 +1,5 @@
 (* This file is still experimental. See its tracking issue
-https://gitlab.mpi-sws.org/iris/iris/-/issues/415 for details on remaining
+https://gitlab.mpi-sws.org/iris/iris/-/issues/439 for details on remaining
 issues before stabilization. *)
 From iris.algebra Require Export auth dfrac max_prefix_list.
 From iris.algebra Require Import updates local_updates proofmode_classes.
diff --git a/iris_staging/base_logic/mono_list.v b/iris_staging/base_logic/mono_list.v
index 7fba7b74e906c58a292ea2a384f2c7ef4e9d0b1f..642a7a1a7ba080d9bc859df23812adb983f4ad1b 100644
--- a/iris_staging/base_logic/mono_list.v
+++ b/iris_staging/base_logic/mono_list.v
@@ -1,5 +1,5 @@
 (* This file is still experimental. See its tracking issue
-https://gitlab.mpi-sws.org/iris/iris/-/issues/415 for details on remaining
+https://gitlab.mpi-sws.org/iris/iris/-/issues/439 for details on remaining
 issues before stabilization. *)
 (** Ghost state for a append-only list, wrapping the [mono_listR] RA. This
   provides three assertions: