diff --git a/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java b/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java
index d2cb8c74a2..f39de00731 100644
--- a/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java
+++ b/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java
@@ -1026,7 +1026,7 @@ public void visit(JmlSetComprehensionExpr n, Void arg) {
     public void visit(JmlGhostStmt n, Void arg) {
         printOrphanCommentsBeforeThisChildNode(n);
         wrapInJmlIfNeeded(() -> {
-            printer.print("ghost");
+            printer.print("ghost ");
             n.getStatement().accept(this, arg);
             printer.print("\n");
         });