diff --git a/test/unify/FiniteClosureBuilder.java b/test/unify/FiniteClosureBuilder.java
index f35ce0e4..815d637d 100644
--- a/test/unify/FiniteClosureBuilder.java
+++ b/test/unify/FiniteClosureBuilder.java
@@ -30,13 +30,13 @@ public class FiniteClosureBuilder {
 		
 		Type collection = tf.getSimpleType("Collection");
 		Type set = tf.getSimpleType("Set", "T");
-		Type sortedSet = tf.getSimpleType("Set", "K");
+		Type sortedSet = tf.getSimpleType("Set", "T");
 		Type TreeSet = tf.getSimpleType("TreeSet", "T");
-		Type hashSet = tf.getSimpleType("HashSet", "Z");
+		Type hashSet = tf.getSimpleType("HashSet", "T");
 		Type linkedHashSet = tf.getSimpleType("LinkedHashSet", "T");
-		Type queue = tf.getSimpleType("Queue", "U");
-		Type deque = tf.getSimpleType("Deque", "U");
-		Type linkedList = tf.getSimpleType("LinkedList", "U");
+		Type queue = tf.getSimpleType("Queue", "T");
+		Type deque = tf.getSimpleType("Deque", "T");
+		Type linkedList = tf.getSimpleType("LinkedList", "T");
 		Type list = tf.getSimpleType("List", "T");
 		Type vector = tf.getSimpleType("Vector", "T");
 		Type stack = tf.getSimpleType("Stack", "T");