diff --git a/README.md b/README.md
index f9dab4d..b7c28db 100644
--- a/README.md
+++ b/README.md
@@ -38,7 +38,7 @@ An SSH communication will starts. If you already registered your private key
 with `ssh-agent` and your `.ssh/config` is configured to take this one if you
 communicate with with `git@git.robur.coop`, everything will be smooth! Et voilà!
 At the end, an HTTP request will be send to `https://blog.robur.coop` (via
-Gitea) to update the unikernel with the last version of the blog.
+Forgejo) to update the unikernel with the last version of the blog.
 
 You can also use the `update.sh` script to update the blog with the builder user
 on the server machine.
diff --git a/update.sh b/update.sh
index 312349c..ff79399 100755
--- a/update.sh
+++ b/update.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-opam exec -- dune exec src/push.exe --
+opam exec -- dune exec bin/push.exe --
   -r git@git.robur.coop:robur/blog.robur.coop.git#gh-pages \
   --host https://blog.robur.coop \
   --name "The Robur team" \