diff --git a/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h b/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
index 08d0f8786..74203f65d 100644
--- a/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
+++ b/src/storm/counterexamples/SMTMinimalLabelSetGenerator.h
@@ -1599,7 +1599,7 @@ namespace storm {
 
                         // If the choice is valid, copy over all its elements.
                         if (choiceValid) {
-                            if (!stateHasValidChoice) {
+                            if (!stateHasValidChoice && customRowGrouping) {
                                 transitionMatrixBuilder.newRowGroup(currentRow);
                             }
                             stateHasValidChoice = true;