--- a/src/INIDispatchHandler.h	Sat Dec 12 14:42:36 2020 +0100
+++ b/src/INIDispatchHandler.h	Sat Dec 12 19:52:38 2020 +0100
@@ -105,6 +105,7 @@
 	void endOfPipe() {
 		if (currentHandler) currentHandler->endOfPipe();
 		currentHandler.reset();
+		writer.endDocument();
 		output.flush();
 	}