diff --git a/src/kernel_internals/typing/cfg.mli b/src/kernel_internals/typing/cfg.mli
index 0cc33e231128e5812b91e775be881bc2885dadfe..b040cda0b17bf99457fdfd0725c04cec53965e1e 100644
--- a/src/kernel_internals/typing/cfg.mli
+++ b/src/kernel_internals/typing/cfg.mli
@@ -42,14 +42,15 @@
 (****************************************************************************)
 
 (** Code to compute the control-flow graph of a function or file.
-    This will fill in the [preds] and [succs] fields of {!Cil.stmt}
+    This will fill in the [preds] and [succs] fields of {!Cil_types.stmt}
 
     This is nearly always automatically done by the kernel. You only need
     those functions if you build {!Cil_types.fundec} yourself. *)
 
 open Cil_types
 
-(** Compute the CFG for an entire file, by calling cfgFun on each function. *)
+(** Compute the CFG for an entire file,
+    by calling {!cfgFun} on each function. *)
 val computeFileCFG: file -> unit
 
 (** clear the sid (except when clear_id is explicitly set to false),