diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp
index aabc0e963..dc4080ce4 100644
--- a/src/adapters/ExplicitModelAdapter.cpp
+++ b/src/adapters/ExplicitModelAdapter.cpp
@@ -259,6 +259,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() {
 				}
 			}
 		}
+		stateToIndexMap[this->allStates[0]] = 0;
 		LOG4CPLUS_DEBUG(logger, "Generated " << this->allStates.size() << " initial states.");
 	}