diff --git a/theories/fin_sets.v b/theories/fin_sets.v
index d53d3e05d58128e15b3f7075df126887a355c816..d6c7c31a4479bf7b7bb18417ea46667c3d75844d 100644
--- a/theories/fin_sets.v
+++ b/theories/fin_sets.v
@@ -26,7 +26,7 @@ Typeclasses Opaque set_map.
 
 Global Instance set_fresh `{Elements A C, Fresh A (list A)} : Fresh A C :=
   fresh ∘ elements.
-Typeclasses Opaque set_filter.
+Typeclasses Opaque set_fresh.
 
 (** We generalize the [fresh] operation on sets to generate lists of fresh
 elements w.r.t. a set [X]. *)