diff --git a/src/de/stups/probkodkod/types/TupleType.java b/src/de/stups/probkodkod/types/TupleType.java
index 0c96b01a527824d08b85b5a3e1c0e7163058f44c..7eeae5fae69ba549ff0a4e6dfa49dc6c43c9bcae 100644
--- a/src/de/stups/probkodkod/types/TupleType.java
+++ b/src/de/stups/probkodkod/types/TupleType.java
@@ -94,7 +94,7 @@ public class TupleType {
 		final TupleFactory factory = universe.factory();
 		final Tuple lowerTuple = factory.tuple(lower);
 		final Tuple upperTuple = factory.tuple(upper);
-		return factory.range(lowerTuple, upperTuple);
+		return factory.area(lowerTuple, upperTuple);
 	}
 
 	/**