diff --git a/FiniteSets/lattice.v b/FiniteSets/lattice.v
index e0c78bb..4500d92 100644
--- a/FiniteSets/lattice.v
+++ b/FiniteSets/lattice.v
@@ -16,8 +16,8 @@ Section binary_operation.
     empty : A.
 End binary_operation.
 
-Arguments max_L {_} _ _.
-Arguments min_L {_} _ _.
+Arguments max_L {_} {_} _.
+Arguments min_L {_} {_} _.
 Arguments empty {_}.
 
 Section Defs.