diff --git a/lib/pddlparse/include/pddlparse/ASTOutput.h b/lib/pddlparse/include/pddlparse/ASTOutput.h
index f5fcef4..78a50fa 100644
--- a/lib/pddlparse/include/pddlparse/ASTOutput.h
+++ b/lib/pddlparse/include/pddlparse/ASTOutput.h
@@ -226,7 +226,9 @@ inline colorlog::ColorStream &print(colorlog::ColorStream &stream, const Quantif
 	printContext.indentationLevel++;
 
 	pddl::detail::printIndentedNewline(stream, printContext);
+	stream << "(";
 	print(stream, quantified.parameters, printContext);
+	stream << ")";
 	pddl::detail::printIndentedNewline(stream, printContext);
 	print(stream, quantified.argument, printContext);