diff --git a/src/bin/common/parse_command.ml b/src/bin/common/parse_command.ml
index b9a5f6f6b..f175f5524 100644
--- a/src/bin/common/parse_command.ml
+++ b/src/bin/common/parse_command.ml
@@ -917,7 +917,8 @@ let parse_output_opt =
     let doc = "Output \"_\" instead of fresh value in interpretation" in
     let docv = "VAL" in
     Arg.(value & flag & info
-           ["interpretation-use-underscore";"use-underscore"] ~docv ~docs ~doc) in
+           ["interpretation-use-underscore";"use-underscore"]
+           ~docv ~docs ~doc) in
 
   let unsat_core =
     let doc = "Experimental support for computing and printing unsat-cores." in
diff --git a/src/lib/util/options.mli b/src/lib/util/options.mli
index a7cda0cc0..f89ba4a97 100644
--- a/src/lib/util/options.mli
+++ b/src/lib/util/options.mli
@@ -35,7 +35,7 @@
 *)
 
 (** Type used to describe the type of heuristic for instantiation wanted by
-   {!val:set_instantiation_heuristic} *)
+    {!val:set_instantiation_heuristic} *)
 type instantiation_heuristic =
   | INormal      (** Least costly heuristic for instantiation, instantiate on
                      a reduced set of term *)
@@ -46,7 +46,7 @@ type instantiation_heuristic =
                      use all available ground terms *)
 
 (** Type used to describe the type of interpretation wanted by
-   {!val:set_interpretation} *)
+    {!val:set_interpretation} *)
 type interpretation =
   | INone        (** Default, No interpretation computed *)
   | IFirst       (** Compute an interpretation after the first instantiation