diff --git a/src/models/Dtmc.h b/src/models/Dtmc.h
index 80c1eb18f..8ac46ffee 100644
--- a/src/models/Dtmc.h
+++ b/src/models/Dtmc.h
@@ -110,7 +110,7 @@ public:
 	 *
 	 */
 	std::set<std::string> getPropositionsForState(uint_fast32_t state) {
-		return stateLabeling->getPropositionsForState(state - 1);
+		return stateLabeling->getPropositionsForState(state);
 	}
 
 	/*!
diff --git a/src/utility/utility.cpp b/src/utility/utility.cpp
index 515fe925e..e2ef43833 100644
--- a/src/utility/utility.cpp
+++ b/src/utility/utility.cpp
@@ -25,7 +25,7 @@ void dtmcToDot(mrmc::models::Dtmc<double>* dtmc, std::string filename) {
    file << "digraph dtmc {\n";
 
    //Specify the nodes and their labels
-   for (uint_fast64_t i = 1; i <= dtmc->getNumberOfStates(); i++) {
+   for (uint_fast64_t i = 1; i < dtmc->getNumberOfStates(); i++) {
       file << "\t" << i << "[label=\"" << i << "\\n{";
       char komma=' ';
       std::set<std::string> propositions = dtmc->getPropositionsForState(i);