diff --git a/src/main.ml b/src/main.ml
index 41e727154e1f97f7a180f49403187466f6b54ac0..a48d20e752292dfcb163c308e7a3ed3f192b8207 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -320,7 +320,7 @@ let verify_json_cmd =
   let cmdname = "verify-json" in
   let info =
     let doc =
-      "Property verification using external provers via json configuration \
+      "Property verification using external provers via a JSON configuration \
        file."
     in
     Cmd.info cmdname ~sdocs:Manpage.s_common_options ~exits:Cmd.Exit.defaults