diff --git a/alib2algo/src/automaton/transform/RHPDAToPDA.cpp b/alib2algo/src/automaton/transform/RHPDAToPDA.cpp
index a9a2431e3f11c9ea81b457358af27b04600bcb2f..6e8cd03b40c30761446824ba67f9b3f13facfd0a 100644
--- a/alib2algo/src/automaton/transform/RHPDAToPDA.cpp
+++ b/alib2algo/src/automaton/transform/RHPDAToPDA.cpp
@@ -96,7 +96,7 @@ automaton::DPDA RHPDAToPDA::convert( const automaton::RealTimeHeightDeterministi
 
 	res.setInputAlphabet(pda.getInputAlphabet());
 	res.setStackAlphabet(pda.getStackAlphabet());
-	res.removeStackSymbol(alphabet::Symbol { alphabet::BottomOfTheStackSymbol::BOTTOM_OF_THE_STACK });
+	res.removeStackSymbol(pda.getBottomOfTheStackSymbol());
 
 	for(const auto& st : readingTransitions) {
 		for(const auto& to : st.second) {
@@ -218,6 +218,7 @@ automaton::NPDA RHPDAToPDA::convert( const automaton::RealTimeHeightDeterministi
 
 	res.setInputAlphabet(pda.getInputAlphabet());
 	res.setStackAlphabet(pda.getStackAlphabet());
+	res.removeStackSymbol(pda.getBottomOfTheStackSymbol());
 
 	for(const auto& st : readingTransitions) {
 		for(const auto& to : st.second) {