diff --git a/solver.ml b/solver.ml
index 8beda3aadfa6f22d7b2943ead7313253c88c894f..d31c2df48dfbf7090d953f51106b5152a217e861 100644
--- a/solver.ml
+++ b/solver.ml
@@ -217,7 +217,7 @@ let detect_default_solvers () =
 let detect filename =
   let open Result in
   Logs.info (fun m ->
-      m "Detecting solvers in $PATH, and writing configuration file `%s'."
+      m "Detecting solvers and writing configuration file `%s'."
         filename);
   (* Create new configuration file and retrieve the `config' from the existing
      one, if any. *)