diff --git a/doc/refman/RefMan-gal.tex b/doc/refman/RefMan-gal.tex
index d14895917e2f..623fed35d2d6 100644
--- a/doc/refman/RefMan-gal.tex
+++ b/doc/refman/RefMan-gal.tex
@@ -516,7 +516,7 @@ \subsection{Local definitions (let-in)
 There is a syntactic sugar for local definition of functions: {\tt
 let} {\ident} {\binder$_1$} {\ldots} {\binder$_n$} {\tt :=} {\term$_1$}
 {\tt in} {\term$_2$} stands for {\tt let} {\ident} {\tt := fun}
-{\binder$_1$} {\ldots} {\binder$_n$} {\tt =>} {\term$_2$} {\tt in}
+{\binder$_1$} {\ldots} {\binder$_n$} {\tt =>} {\term$_1$} {\tt in}
 {\term$_2$}.
 
 \subsection{Definition by case analysis