diff --git a/src/boot/me/dwarf.ml b/src/boot/me/dwarf.ml
index 410ff402ca3..663ce9f5870 100644
--- a/src/boot/me/dwarf.ml
+++ b/src/boot/me/dwarf.ml
@@ -1311,9 +1311,10 @@ let (abbrev_alias_slot:abbrev) =
 ;;
 
 (* FIXME: Perverse, but given dwarf's vocabulary it seems at least plausible
- * that a "mutable const type" is a correct way of saying "mutable". Or else we
- * make up our own. Revisit perhaps.
+ * that a "mutable const type" is a correct way of saying "mutable". 
+ * Or else we make up our own. Revisit perhaps.
  *)
+
 let (abbrev_mutable_type:abbrev) =
   (DW_TAG_const_type, DW_CHILDREN_no,
    [|
diff --git a/src/boot/me/semant.ml b/src/boot/me/semant.ml
index 746f83bf6b6..031f1b40525 100644
--- a/src/boot/me/semant.ml
+++ b/src/boot/me/semant.ml
@@ -676,7 +676,10 @@ type ('ty, 'tys, 'slot, 'slots, 'tag) ty_fold =
       ty_fold_constrained : ('ty * Ast.constrs) -> 'ty }
 ;;
 
-let rec fold_ty (f:('ty, 'tys, 'slot, 'slots, 'tag) ty_fold) (ty:Ast.ty) : 'ty =
+let rec fold_ty
+    (f:('ty, 'tys, 'slot, 'slots, 'tag) ty_fold)
+    (ty:Ast.ty)
+    : 'ty =
   let fold_slot (s:Ast.slot) : 'slot =
     f.ty_fold_slot (s.Ast.slot_mode,
                     fold_ty f (slot_ty s))
diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index e852965dc2c..f25cc569ee5 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -357,7 +357,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
           | (TYSPEC_resolved (params_a, ty_a),
              TYSPEC_resolved (params_b, ty_b)) ->
               if params_a <> params_b then fail()
-              else TYSPEC_resolved (params_a, (unify_resolved_types ty_a ty_b))
+              else TYSPEC_resolved
+                (params_a, (unify_resolved_types ty_a ty_b))
 
           | (TYSPEC_resolved (params, ty),
              TYSPEC_callable (out_tv, in_tvs))