diff --git a/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala b/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
index f0799c53..b4394b49 100644
--- a/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
+++ b/document-generator/converter/src/main/scala/com/logicalhacking/dof/converter/DofConverter.scala
@@ -280,7 +280,7 @@ object DofConverter {
       println("DOF LaTeX converter warning(s):")
       println("=============================")
       println("  Empty LATeX files found, Isabelle build most likely failed!")
-      emptyTexFiles.map { case (file:File) => println("    "+ file + "is empty") }
+      emptyTexFiles.map { case (file:File) => println("    "+ file + " is empty") }
     }
 
     if (nonEmptyTexFiles.isEmpty) {