diff --git a/examples/dft/symmetry5.dft b/examples/dft/symmetry5.dft
new file mode 100644
index 000000000..18f700bb2
--- /dev/null
+++ b/examples/dft/symmetry5.dft
@@ -0,0 +1,21 @@
+toplevel "A";
+"A" and "BA" "BB" "BC" "BD" "BE" "BF";
+"BA" and "CA" "DA";
+"BB" and "CB" "DB";
+"BC" and "CC" "DC";
+"BD" and "CD" "DD";
+"BE" and "CE" "DE";
+"BF" and "CF" "DF";
+"CA" lambda=0.5 dorm=0;
+"DA" lambda=0.5 dorm=0;
+"CB" lambda=0.5 dorm=0;
+"DB" lambda=0.5 dorm=0;
+"CC" lambda=0.5 dorm=0;
+"DC" lambda=0.5 dorm=0;
+"CD" lambda=0.5 dorm=0;
+"DD" lambda=0.5 dorm=0;
+"CE" lambda=0.5 dorm=0;
+"DE" lambda=0.5 dorm=0;
+"CF" lambda=0.5 dorm=0;
+"DF" lambda=0.5 dorm=0;
+
diff --git a/src/storage/dft/DFTState.cpp b/src/storage/dft/DFTState.cpp
index 591f6f9da..be5c33060 100644
--- a/src/storage/dft/DFTState.cpp
+++ b/src/storage/dft/DFTState.cpp
@@ -259,7 +259,7 @@ namespace storm {
                     for (size_t i = 1; i < n; ++i) {
                         elem1 = mStatus.getAsInt(symmetryIndices[i-1], length);
                         elem2 = mStatus.getAsInt(symmetryIndices[i], length);
-                        if (elem1 > elem2) {
+                        if (elem1 < elem2) {
                             // Swap elements
                             mStatus.setFromInt(symmetryIndices[i-1], length, elem2);
                             mStatus.setFromInt(symmetryIndices[i], length, elem1);