diff --git a/doc/developer/advance.tex b/doc/developer/advance.tex
index 278621f3d06a08ba57a74037411be08a56c88251..74cdec61ea44648fcf0b91bebc57c7708d4a0ab5 100644
--- a/doc/developer/advance.tex
+++ b/doc/developer/advance.tex
@@ -4246,7 +4246,7 @@ for details about the provided operations on these types.
 As join operators are provided for these types, they can be easily used in
 abstract interpretation analyses\index{Abstract Interpretation} (which can
 themselves be implemented thanks to one of functors of module
-\texttt{Dataflow2}\codeidx{Dataflow}.
+\texttt{Dataflow2}\codeidx{Dataflow2}.
 
 \subsection{Map Indexed by Locations}\label{memory:map}