diff --git a/src/core/CCHeap.ml b/src/core/CCHeap.ml
index b201eb7b..aa712d5f 100644
--- a/src/core/CCHeap.ml
+++ b/src/core/CCHeap.ml
@@ -421,7 +421,7 @@ module Make_from_compare(E : TOTAL_ORD) =
 
 (*$QR
   Q.(list_of_size Gen.(return 1_000) int) (fun l ->
-    let module H' = Make_from_compare(Int) in
+    let module H' = Make_from_compare(CCInt) in
     let h = H'.of_list l in
     let l' = H'.to_list_sorted h in
     is_sorted l'
diff --git a/src/core/CCHeap.mli b/src/core/CCHeap.mli
index c7bbf568..243b7b98 100644
--- a/src/core/CCHeap.mli
+++ b/src/core/CCHeap.mli
@@ -148,7 +148,8 @@ end
 
 module Make(E : PARTIAL_ORD) : S with type elt = E.t
 
-(** A convenient version Make that take a TOTAL_ORD instead
+(** A convenient version of [Make] that take a [TOTAL_ORD] instead of
+    a partially ordered module.
     It allow to directly pass modules that implement [compare]
-    without implementing [leq] *)
+    without implementing [leq] explicitly *)
 module Make_from_compare(E : TOTAL_ORD) : S with type elt = E.t