diff --git a/e.smv b/e.smv
index d207d9e..37ebf7e 100644
--- a/e.smv
+++ b/e.smv
@@ -1,6 +1,6 @@
 MODULE e
   VAR
-    e: { e };
+    e : { e };
   ASSIGN
     init(e) := e;
     next(e) := e;