diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index 4ee5c70..ee2eb69 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -325,7 +325,7 @@ void TranslatorASP::translateVariablesBody(const expressions::Variables &variabl
 
 			m_outputStream << utils::Keyword("hasType") << "("
 				<< utils::Variable(utils::escapeASPVariable(variable.name())) << ", "
-				<< utils::Keyword("type") << "(" << type.name() << "))";
+				<< utils::Keyword("type") << "(" << utils::escapeASP(type.name()) << "))";
 		}
 		else
 		{