diff --git a/alib2data/src/rte/formal/FormalRTEElements.h b/alib2data/src/rte/formal/FormalRTEElements.h
index a33eea54582181ec59a183192ddf756a04f8d304..712853adc319cbea1fb133d7ad15e609a6d5f45d 100644
--- a/alib2data/src/rte/formal/FormalRTEElements.h
+++ b/alib2data/src/rte/formal/FormalRTEElements.h
@@ -8,8 +8,8 @@
 #ifndef FORMAL_RTE_ELEMENTS_H_
 #define FORMAL_RTE_ELEMENTS_H_
 
-#include "FormalRTEAlternation.h"
 #include "FormalRTEElement.h"
+#include "FormalRTEAlternation.h"
 #include "FormalRTEEmpty.h"
 #include "FormalRTEIteration.h"
 #include "FormalRTESubstitution.h"
diff --git a/alib2data/src/rte/formal/FormalRTEIteration.h b/alib2data/src/rte/formal/FormalRTEIteration.h
index 8074be86df4274b8b6a9fd828cfceb5f7f2bbc9f..91ff467bc20084e1bae1c8369a69cb6e2405ee61 100644
--- a/alib2data/src/rte/formal/FormalRTEIteration.h
+++ b/alib2data/src/rte/formal/FormalRTEIteration.h
@@ -258,7 +258,7 @@ int FormalRTEIteration < SymbolType, RankType >::compare ( const FormalRTEIterat
 
 template < class SymbolType, class RankType >
 void FormalRTEIteration < SymbolType, RankType >::operator >>( std::ostream & out ) const {
-	out << "(RTEFormalRTEIteration " << m_substitutionSymbol << " " << getElement ( ) << ")";
+	out << "(FormalRTEIteration " << m_substitutionSymbol << " " << getElement ( ) << ")";
 }
 
 template < class SymbolType, class RankType >
diff --git a/alib2data/src/rte/formal/FormalRTESubstitution.h b/alib2data/src/rte/formal/FormalRTESubstitution.h
index f0e38f0868d42457ba8af28a175a4089ad123be0..b9af983fa9318338a8cfe95d7c5c5992d4e2685b 100644
--- a/alib2data/src/rte/formal/FormalRTESubstitution.h
+++ b/alib2data/src/rte/formal/FormalRTESubstitution.h
@@ -308,8 +308,8 @@ int FormalRTESubstitution < SymbolType, RankType >::compare ( const FormalRTESub
 template < class SymbolType, class RankType >
 void FormalRTESubstitution < SymbolType, RankType >::operator >>( std::ostream & out ) const {
 	out << "(FormalRTESubstitution";
-	out << " " << getLeftElement ( );
 	out << " " << m_substitutionSymbol;
+	out << " " << getLeftElement ( );
 	out << " " << getRightElement ( );
 	out << ")";
 }
diff --git a/examples2/automaton/DFTA_emptyset_case.xml b/examples2/automaton/DFTA_emptyset_case.xml
new file mode 100644
index 0000000000000000000000000000000000000000..30a2ecb77f126f5d67a8337b3fe126ca7a7355e2
--- /dev/null
+++ b/examples2/automaton/DFTA_emptyset_case.xml
@@ -0,0 +1,59 @@
+<?xml version="1.0"?>
+<DFTA>
+	<states>
+		<String>A</String>
+		<String>B</String>
+	</states>
+	<rankedInputAlphabet>
+		<RankedSymbol>
+			<String>a</String>
+			<Unsigned>0</Unsigned>
+		</RankedSymbol>
+		<RankedSymbol>
+			<String>g</String>
+			<Unsigned>2</Unsigned>
+		</RankedSymbol>
+		<RankedSymbol>
+			<String>d</String>
+			<Unsigned>1</Unsigned>
+		</RankedSymbol>
+	</rankedInputAlphabet>
+	<finalStates>
+		<String>B</String>
+	</finalStates>
+	<transitions>
+		<transition>
+			<input>
+				<RankedSymbol><String>a</String><Unsigned>0</Unsigned></RankedSymbol>
+			</input>
+			<from>
+			</from>
+			<to>
+				<String>A</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>d</String><Unsigned>1</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>A</String>
+			</from>
+			<to>
+				<String>B</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>g</String><Unsigned>2</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>B</String>
+				<String>A</String>
+			</from>
+			<to>
+				<String>A</String>
+			</to>
+		</transition>
+	</transitions>
+</DFTA>