diff --git a/src/core/globals.ml b/src/core/globals.ml
index 0e5ccfb6..74f7433a 100644
--- a/src/core/globals.ml
+++ b/src/core/globals.ml
@@ -40,10 +40,8 @@ let add_global_attribute (key : string) (v : Value.t) : unit =
 
 (* add global attributes to this list *)
 let merge_global_attributes_ into : _ list =
-  let not_redundant kv =
-    List.for_all Key_value.(fun kv' -> kv.key <> kv'.key) into
-  in
-  List.rev_append Key_value.(List.filter not_redundant !global_attributes) into
+  let not_redundant kv = List.for_all (fun kv' -> kv.key <> kv'.key) into in
+  List.rev_append (List.filter not_redundant !global_attributes) into
 
 (** Default span kind in {!Span.create}. This will be used in all spans that do
     not specify [~kind] explicitly; it is set to "internal", following