diff --git a/include/plasp/pddl/translation/Fact.h b/include/plasp/pddl/translation/Fact.h
index 98d2712..0e7870d 100644
--- a/include/plasp/pddl/translation/Fact.h
+++ b/include/plasp/pddl/translation/Fact.h
@@ -59,6 +59,8 @@ inline void translateFact(colorlog::ColorStream &outputStream, const ::pddl::nor
 		};
 
 	fact.match(handleAtomicFormula, handleNot);
+
+	outputStream << ").";
 }
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////