diff --git a/src/dimension.ml b/src/dimension.ml
index 4a46d85aedf9aa4421866b21b01d63c6a1cd1a62..079c8f6568b794be5c31d99d1ae8f1e921ea956e 100644
--- a/src/dimension.ml
+++ b/src/dimension.ml
@@ -174,7 +174,7 @@ let rec factors_constant fs =
 let norm_factors fs =
   let k = factors_constant fs in
   let nk = List.filter (fun d -> not (is_dimension_const d)) fs in
-  (k, List.sort Pervasives.compare nk)
+  (k, List.sort compare nk)
 
 let rec terms dim =
  match dim.dim_desc with
diff --git a/src/utils/utils.ml b/src/utils/utils.ml
index 89d1be33652004832e86eebf09c1bb0ce9955223..48c5be38f3d69b3e3cbd4361201add8e39836e87 100644
--- a/src/utils/utils.ml
+++ b/src/utils/utils.ml
@@ -257,7 +257,7 @@ let pp_final_char_if_non_empty c l =
 let pp_newline_if_non_empty l =
   (fun fmt -> match l with [] -> () | _ -> Format.fprintf fmt "@,")
 
-let fprintf_list ?(eol:('a, formatter, unit) Pervasives.format = "") ~sep:sep f fmt l =
+let fprintf_list ?(eol:('a, formatter, unit) format = "") ~sep:sep f fmt l =
   let rec aux fmt = function
   | []   -> ()
   | [e]  -> f fmt e