diff --git a/manual/manual/tutorials/coreexamples.etex b/manual/manual/tutorials/coreexamples.etex
index 55726aba6..19d86a75b 100644
--- a/manual/manual/tutorials/coreexamples.etex
+++ b/manual/manual/tutorials/coreexamples.etex
@@ -964,7 +964,7 @@ commands:
 $ ocamlc -o gcd gcd.ml
 $ ./gcd 6 9
 3
-$ ./fib 7 11
+$ ./gcd 7 11
 1
 \end{verbatim}
 
diff --git a/manual/manual/tutorials/lablexamples.etex b/manual/manual/tutorials/lablexamples.etex
index a83c9c53d..102e44e7d 100644
--- a/manual/manual/tutorials/lablexamples.etex
+++ b/manual/manual/tutorials/lablexamples.etex
@@ -261,7 +261,7 @@ UnixLabels.write : file_descr -> buf:bytes -> pos:int -> len:int -> unit
 When there are several objects of same nature and role, they are all
 left unlabeled.
 \begin{alltt}
-"ListLabels.iter2 : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> unit"
+"ListLabels.iter2 : f:('a -> 'b -> unit) -> 'a list -> 'b list -> unit"
 \end{alltt}
 
 When there is no preferable object, all arguments are labeled.