diff --git a/prism/src/prism/DRA.java b/prism/src/prism/DRA.java
index 9f1a2259..5a65fa75 100644
--- a/prism/src/prism/DRA.java
+++ b/prism/src/prism/DRA.java
@@ -229,6 +229,7 @@ public class DRA<Symbol>
 				out.println("	" + i + " -> " + e.dest + " [label=\"" + e.label + "\"]");
 			}
 		}
+		out.println("}");
 	}
 
 	// Standard methods