diff --git a/docs/user_manual/10-Replication-Tools.md b/docs/user_manual/10-Replication-Tools.md
index f31e6b2..f41dca4 100644
--- a/docs/user_manual/10-Replication-Tools.md
+++ b/docs/user_manual/10-Replication-Tools.md
@@ -191,5 +191,6 @@ while true; do
   else
     echo "Fatal error, stopping updates."
     exit $status
+  fi
 done
 ```