diff --git a/src/main.ml b/src/main.ml
index 1386f5d4006df56ef8013e15b53fbf8306f8f027..735e4ed4e535a46b7c1d8e1a56b5be838199bb68 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -164,7 +164,8 @@ let verify_cmd =
   let prover =
     let all_provers = Prover.list_available () in
     let doc =
-      Fmt.str "Prover to use. Available provers are: %s."
+      Fmt.str
+        "Prover to use. Support is provided for the following provers: %s."
         (Fmt.str "%a"
            (Fmt.list ~sep:Fmt.comma Fmt.string)
            (List.map ~f:Prover.to_string all_provers))