diff --git a/caisar.opam b/caisar.opam
index 3e6e2d802e5e412a8da24f69ec5207eda013ab35..81d04b88409f50a816f290213834ab98b6e36209 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -2,7 +2,7 @@
 opam-version: "2.0"
 version: "0.1"
 synopsis:
-  "Platform for characterizing the safety and robustness of artificial intelligence based software"
+  "A platform for characterizing the safety and robustness of artificial intelligence based software"
 maintainer: [
   "LAISER team, Software Safety and Security Laboratory, CEA-List"
 ]
diff --git a/dune-project b/dune-project
index 9697b4a7d248f0ff768463b92aaa6cb569b4de08..585375a402054336a7d746e0a0f51b5c22e626a7 100644
--- a/dune-project
+++ b/dune-project
@@ -53,7 +53,7 @@
 
 (package
   (name caisar)
-  (synopsis "Platform for characterizing the safety and robustness of artificial intelligence based software")
+  (synopsis "A platform for characterizing the safety and robustness of artificial intelligence based software")
   (depends
    (ocaml (>= 4.13.0))
    (dune-site (= 2.9.0))
diff --git a/src/main.ml b/src/main.ml
index f2ae0f60189ae80a5c5c0f3c2f3ffeb477942254..41e09fa8165c8a94f4ea7c1edd22bcd0eade67fe 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -185,7 +185,7 @@ let verify_cmd =
 
 let default_cmd =
   let doc =
-    "Platform for characterizing the safety and robustness of artificial \
+    "A platform for characterizing the safety and robustness of artificial \
      intelligence based software."
   in
   let sdocs = Manpage.s_common_options in