diff --git a/proof/ROOT b/proof/ROOT
index f95f478dc..a5be64a09 100644
--- a/proof/ROOT
+++ b/proof/ROOT
@@ -101,7 +101,7 @@ session CBaseRefine = CSpec +
     Refine
     AutoCorres
   theories [condition = "SKIP_DUPLICATED_PROOFS", quick_and_dirty, skip_proofs]
-    (* ../lib/clib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
+    (* crefine/lib/AutoCorres_C explains why L4VerifiedLinks is included here. *)
     "crefine/lib/L4VerifiedLinks"
     "crefine/$L4V_ARCH/Include_C"
   theories