diff --git a/solver.ml b/solver.ml
index b30182618cfd28d60d369bd020a0a7bee8001ae5..3c7029e3024fb6a203c69da16ae3cc982f1d9858 100644
--- a/solver.ml
+++ b/solver.ml
@@ -37,7 +37,7 @@ let rec pp_property_marabou property =
 let pp_property solver property =
   match solver with
   | Pyrat ->
-    Error "Not yet implemented."
+    Error "Not implemented yet."
   | Marabou ->
     Ok (pp_property_marabou property)
 
@@ -100,7 +100,7 @@ let check_compatibility solver model =
   | Marabou, (Model.Onnx as f) ->
     Error
       (Format.sprintf
-         "`%s' does not support model format `%s'."
+         "Cannot deal with `%s' and model format `%s'."
          (show_solver solver)
          (Model.show_format f))
   | _ ->
@@ -126,7 +126,7 @@ let build_command ?raw_options solver property model =
   (* Build actual command-line. *)
   begin match solver with
     | Pyrat ->
-      Error "Not yet implemented"
+      Error "Not implemented yet."
     | Marabou ->
       let verbosity_level =
         match Logs.level () with