diff --git a/THANKS b/THANKS
index 89d52b874..89654bba6 100644
--- a/THANKS
+++ b/THANKS
@@ -4,6 +4,7 @@ suggestions.
 Akim Demaille
 Caroline Lemieux
 Christian Dax
+David Müller
 Ernesto Posse
 Étienne Renault
 Fabrice Kordon
diff --git a/src/dstarparse/nra2nba.cc b/src/dstarparse/nra2nba.cc
index 4a2c5c25c..37796bbd4 100644
--- a/src/dstarparse/nra2nba.cc
+++ b/src/dstarparse/nra2nba.cc
@@ -48,7 +48,11 @@ namespace spot
 	out_->set_single_acceptance_set();
 	out_->prop_state_based_acc();
 	out_->new_states(num_states_ * (d_->accpair_count + 1));
-	out_->set_init_state(a->aut->get_init_state_number());
+	// This converts the initial state of aut (not a->aut) into a
+	// state number in a->aut.
+	auto i = aut->get_init_state();
+	out_->set_init_state(a->aut->state_number(i));
+	i->destroy();
       }
 
       tgba_digraph_ptr