diff --git a/quint/testFixture/simulator/lastActionInRun.qnt b/quint/testFixture/simulator/lastActionInRun.qnt
index 9a9f18df3..85c49e588 100644
--- a/quint/testFixture/simulator/lastActionInRun.qnt
+++ b/quint/testFixture/simulator/lastActionInRun.qnt
@@ -1,3 +1,5 @@
+// See:
+// https://github.com/informalsystems/quint/issues/1133
 module lastActionInRun {
     var s: str