diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp
index ad69887a0..aabc0e963 100644
--- a/src/adapters/ExplicitModelAdapter.cpp
+++ b/src/adapters/ExplicitModelAdapter.cpp
@@ -520,6 +520,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() {
 				// This is a deadlock state.
 				if (storm::settings::instance()->isSet("fix-deadlocks")) {
 					this->numberOfTransitions++;
+					this->numberOfChoices++;
 					this->transitionMap[curIndex].emplace_back();
 					this->transitionMap[curIndex].back().second[curIndex] = 1;
 				} else {