diff --git a/src/plasp/pddl/TranslatorASP.cpp b/src/plasp/pddl/TranslatorASP.cpp
index e3c5475..f2bb588 100644
--- a/src/plasp/pddl/TranslatorASP.cpp
+++ b/src/plasp/pddl/TranslatorASP.cpp
@@ -153,7 +153,7 @@ void TranslatorASP::translatePredicates() const
 
 			printPredicateName(predicate);
 
-			m_outputStream << ", " << utils::Keyword(value) << ")";
+			m_outputStream << ", " << utils::Keyword(value) << "))";
 
 			this->translateVariablesBody(predicate->arguments());