diff --git a/.Makefile.lint b/.Makefile.lint
index 61f5274d3a2ed6cdbdca5c321d880466d842a100..f213229e55714480b8766486a7538600f510672a 100644
--- a/.Makefile.lint
+++ b/.Makefile.lint
@@ -215,7 +215,6 @@ ML_LINT_KO+=src/libraries/utils/hptset.ml
 ML_LINT_KO+=src/libraries/utils/hptset.mli
 ML_LINT_KO+=src/libraries/utils/indexer.ml
 ML_LINT_KO+=src/libraries/utils/indexer.mli
-ML_LINT_KO+=src/libraries/utils/json.mli
 ML_LINT_KO+=src/libraries/utils/leftistheap.mli
 ML_LINT_KO+=src/libraries/utils/pretty_utils.ml
 ML_LINT_KO+=src/libraries/utils/pretty_utils.mli
diff --git a/src/libraries/utils/json.mli b/src/libraries/utils/json.mli
index bc9c04f6210457bda2962ce43682dae75eb5d928..8057272785205973440efcdd6826a79555f93c87 100644
--- a/src/libraries/utils/json.mli
+++ b/src/libraries/utils/json.mli
@@ -23,17 +23,17 @@
 (** Json Library
 
     Remarks:
-     - UTF-8 escaping is not supported;
-     - Parsers are less {i strict} than Json format;
-     - Printers are supposed to {i strictly} conforms to Json format;
-     - [Number] can be used to encode non OCaml-primitive numbers,
+    - UTF-8 escaping is not supported;
+    - Parsers are less {i strict} than Json format;
+    - Printers are supposed to {i strictly} conforms to Json format;
+    - [Number] can be used to encode non OCaml-primitive numbers,
        for instance Zarith.
 *)
 
 (** Json Objects
 
     Same type than [Yojson.Basic.json]
-    *)
+*)
 type json =
   [ `Assoc of (string * json) list
   | `Bool of bool
diff --git a/src/plugins/wp/ProofScript.ml b/src/plugins/wp/ProofScript.ml
index ddc124c5d6e8b063031bee94f93daf5d45e7d054..1b2356ceb669a77ec93a9f72c425935db378f4fb 100644
--- a/src/plugins/wp/ProofScript.ml
+++ b/src/plugins/wp/ProofScript.ml
@@ -286,12 +286,12 @@ let jtactic ~title (tac : tactical) (sel : selection) =
 
 let json_of_tactic t js =
   `Assoc [
-      "header" , `String t.header ;
-      "tactic" , `String t.tactic ;
-      "params" , t.params ;
-      "select" , t.select ;
-      "children" , `Assoc js ;
-    ]
+    "header" , `String t.header ;
+    "tactic" , `String t.tactic ;
+    "params" , t.params ;
+    "select" , t.select ;
+    "children" , `Assoc js ;
+  ]
 
 let children_of_json = function
   | `List js ->