diff --git a/colibri2.opam b/colibri2.opam
index 893f9f0fe703cc246bc8391b87acf3ed2448bfef..7c118ea65c1fec0bd00a615c85305e7193052616 100644
--- a/colibri2.opam
+++ b/colibri2.opam
@@ -8,7 +8,7 @@ authors: [
   "Bruno Marre"
   "Guillaume Bury"
   "Stéphane Graham-Lengrand"
-  "Hichem Ait El Hara"
+  "Hichem Rami Ait El Hara"
 ]
 license: "LGPL-2.1-only"
 homepage: "https://colibri.frama-c.com"
diff --git a/dune-project b/dune-project
index 498606f4cf375b69920347764b07c3cb76cd657d..6f44e2695546e3bf14c2f70dda11e81098867909 100644
--- a/dune-project
+++ b/dune-project
@@ -49,7 +49,7 @@
 
 
 (package (name colibri2)
-         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Ait El Hara")
+         (authors "François Bobot" "Bruno Marre" "Guillaume Bury" "Stéphane Graham-Lengrand" "Hichem Rami Ait El Hara")
          (maintainers "François Bobot")
          (synopsis "A CP solver for smtlib")
          (description "A reimplementation of COLIBRI in OCaml")