diff --git a/include/plasp/pddl/translation/DerivedPredicate.h b/include/plasp/pddl/translation/DerivedPredicate.h
index 6d9dc03..6d49883 100644
--- a/include/plasp/pddl/translation/DerivedPredicate.h
+++ b/include/plasp/pddl/translation/DerivedPredicate.h
@@ -98,9 +98,8 @@ inline void translateDerivedPredicateToVariable(colorlog::ColorStream &outputStr
 
 inline void translateDerivedPredicateDeclarationToVariable(colorlog::ColorStream &outputStream, const ::pddl::normalizedAST::DerivedPredicateDeclaration &derivedPredicateDeclaration, bool isPositive = true)
 {
-	outputStream << colorlog::Keyword("derivedVariable") << "(";
 	translateDerivedPredicateDeclaration(outputStream, derivedPredicateDeclaration);
-	outputStream << "), " << colorlog::Keyword("value") << "(";
+	outputStream << ", " << colorlog::Keyword("value") << "(";
 	translateDerivedPredicateDeclaration(outputStream, derivedPredicateDeclaration);
 	outputStream << ", ";