diff --git a/alib2algo/src/automaton/PDAToRHPDA.cpp b/alib2algo/src/automaton/PDAToRHPDA.cpp
index 52d77a3294c3b21f758c92de80dc28a769c77133..ab9e561e3e9f77f27f87776490c914703cef7c21 100644
--- a/alib2algo/src/automaton/PDAToRHPDA.cpp
+++ b/alib2algo/src/automaton/PDAToRHPDA.cpp
@@ -113,23 +113,23 @@ void PDAToRHPDA::Visit(void*, const ExtendedNFA&) const {
 }
 
 void PDAToRHPDA::Visit(void*, const CompactNFA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type CompactNFA");
 }
 
 void PDAToRHPDA::Visit(void*, const DPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type DPDA");
 }
 
 void PDAToRHPDA::Visit(void*, const SinglePopDPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopDPDA");
 }
 
 void PDAToRHPDA::Visit(void*, const InputDrivenNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type InputDrivenNPDA");
 }
 
 void PDAToRHPDA::Visit(void*, const VisiblyPushdownNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type VisiblyPushdownNPDA");
 }
 
 void PDAToRHPDA::Visit(void* data, const RealTimeHeightDeterministicNPDA& automaton) const {
@@ -143,11 +143,11 @@ void PDAToRHPDA::Visit(void* data, const NPDA& automaton) const {
 }
 
 void PDAToRHPDA::Visit(void*, const SinglePopNPDA&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type SinglePopNPDA");
 }
 
 void PDAToRHPDA::Visit(void*, const OneTapeDTM&) const {
-	throw exception::AlibException("Unsupported automaton type UnknownAutomaton");
+	throw exception::AlibException("Unsupported automaton type OneTapeDTM");
 }
 
 const PDAToRHPDA PDAToRHPDA::PDA_TO_RHPDA;