diff --git a/src/main.ml b/src/main.ml
index d41168ea032f9d104099e6e56e6b845e28ac4dbb..af386438eaff30c11f6993ac7b931fbe446e0620 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -125,13 +125,11 @@ let verify_cmd =
     let doc = "Prover to use" in
     Arg.(required & opt (some string) None & info [ "p"; "prover" ] ~doc)
   in
-  let doc = "Property verification of neural networks." in
-  let exits = Term.default_exits in
-  let man =
-    [
-      `S Manpage.s_description; `P "Property verification via external solvers.";
-    ]
+  let doc =
+    "Property verification of neural networks using external provers."
   in
+  let exits = Term.default_exits in
+  let man = [ `S Manpage.s_description; `P doc ] in
   ( Term.(
       ret
         (const (fun format loadpath prover files ->