diff --git a/src/builder/ExplicitGspnModelBuilder.cpp b/src/builder/ExplicitGspnModelBuilder.cpp
index ac82e5498..a58252373 100644
--- a/src/builder/ExplicitGspnModelBuilder.cpp
+++ b/src/builder/ExplicitGspnModelBuilder.cpp
@@ -66,7 +66,7 @@ namespace storm {
 
                         addRowForTimedTransitions(enabledTimedTransitions, currentMarking, accRate);
                     } else {
-                        markovianStates.set(currentRowIndex, 0);
+                        markovianStates.set(currentRowIndex, 1);
                     }
                 }
                 ++currentRowIndex;
@@ -110,6 +110,8 @@ namespace storm {
 
             }
 
+            std::cout << "print matrix:" << std::endl;
+            std::cout << matrix << std::endl;
             //auto labeling = getStateLabeling();
 
             return storm::models::sparse::MarkovAutomaton<double>(matrix, labeling, markovianStates, exitRates);