diff --git a/tutos/7.1/manual/basics.wiki b/tutos/7.1/manual/basics.wiki
index f399872b..a15e368d 100644
--- a/tutos/7.1/manual/basics.wiki
+++ b/tutos/7.1/manual/basics.wiki
@@ -577,6 +577,17 @@ let%client c : int = 3 + ~%x
<
+
+
+
diff --git a/tutos/dev/manual/basics.wiki b/tutos/dev/manual/basics.wiki
index f399872b..a15e368d 100644
--- a/tutos/dev/manual/basics.wiki
+++ b/tutos/dev/manual/basics.wiki
@@ -577,6 +577,17 @@ let%client c : int = 3 + ~%x
<
+
+
+