diff --git a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp
index e98fd37840c4cb52139a7b2fe8853402293a38b5..b416f53ca86a457e9f18384136b3aaf2f5080e9f 100644
--- a/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp
+++ b/alib2algo/src/automaton/convert/ToRegExpStateElimination.cpp
@@ -40,8 +40,8 @@ regexp::UnboundedRegExp < > ToRegExpStateElimination::convert(const T& automaton
 		extendedAutomaton = eliminateState(extendedAutomaton, state);
 
 	// step 4
-	regexp::UnboundedRegExpStructure < DefaultSymbolType > finalStateLoop = regexp::RegExpIterate::iterate ( transition(extendedAutomaton, *extendedAutomaton.getFinalStates().begin(), *extendedAutomaton.getFinalStates().begin()));
-	regexp::UnboundedRegExpStructure < DefaultSymbolType > initialToFinalState = regexp::RegExpConcatenate::concatenate ( transition(extendedAutomaton, extendedAutomaton.getInitialState(), *extendedAutomaton.getFinalStates().begin()),finalStateLoop );
+	regexp::UnboundedRegExpStructure < DefaultSymbolType > finalStateLoop = regexp::RegExpIterate::iterate ( transitionsToRegExp ( extendedAutomaton, *extendedAutomaton.getFinalStates().begin(), *extendedAutomaton.getFinalStates().begin()));
+	regexp::UnboundedRegExpStructure < DefaultSymbolType > initialToFinalState = regexp::RegExpConcatenate::concatenate ( transitionsToRegExp ( extendedAutomaton, extendedAutomaton.getInitialState(), *extendedAutomaton.getFinalStates().begin()),finalStateLoop );
 	return regexp::UnboundedRegExp < > (regexp::simplify::RegExpOptimize::optimize(initialToFinalState));
 }