diff --git a/test/unify/FiniteClosureTest.java b/test/unify/FiniteClosureTest.java
index 7c422bda..d1f99d60 100644
--- a/test/unify/FiniteClosureTest.java
+++ b/test/unify/FiniteClosureTest.java
@@ -377,11 +377,20 @@ public class FiniteClosureTest {
 		 * 
 		 * MyMap<K> <* HashMap<K, List<K>>
 		 * 
-		 * smaller(SortedSet<? extends Number, ? extends List<? extends Integer>) = 
-		 * { HashMap<? extends Integer>, List<Integer>>, 
-		 *   HashMap<? extends Number, List<Integer>>,
-		 *   MyMap<Integer, List<Integer>> }
+		 * smaller(NavigableSet<? extends Integer, ? extends ArrayList<? extends Integer>>) = 
+		 * { NavigableSet<? extends Integer, ? extends ArrayList<? extends Integer>>,
+		 *   NavigableSet<? extends Integer, ? extends ArrayList<Integer>>
+		 *   NavigableSet<? extends Integer, ArrayList<? extends Integer>>
+		 *   NavigableSet<? extends Integer, ArrayList<Integer>>
+		 *   TreeSet<? extends Integer, ? extends ArrayList<? extends Integer>>,
+		 *   TreeSet<? extends Integer, ? extends ArrayList<Integer>>
+		 *   TreeSet<? extends Integer, ArrayList<? extends Integer>>
+		 *   TreeSet<? extends Integer, ArrayList<Integer>> }
 		 */
+		
+		Type navSet = tf.getSimpleType("NavigableSet", extInt, tf.getExtendsType(tf.getSimpleType("ArrayList", extInt)));
+		
+		Assert.assertEquals(8, fc.smaller(navSet).size());	
 	}
 	
 	@Test