diff --git a/.gitignore b/.gitignore
index 7483d1710..065477ab1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 /dune-project
 *~
 cache/*
+Version.ml
diff --git a/src/parser/ligodity/Lexer.mll b/src/parser/ligodity/Lexer.mll
index 85ae4db48..9c2274f36 100644
--- a/src/parser/ligodity/Lexer.mll
+++ b/src/parser/ligodity/Lexer.mll
@@ -104,7 +104,7 @@ let keywords = Token.[
   "and",         None;
   "as",          None;
   "asr",         None;
-  "assert",      None;
+  (*  "assert",      None;*)
   "class",       None;
   "constraint",  None;
   "do",          None;
diff --git a/src/parser/ligodity/Parser.mly b/src/parser/ligodity/Parser.mly
index 76267b6d3..b453e6fae 100644
--- a/src/parser/ligodity/Parser.mly
+++ b/src/parser/ligodity/Parser.mly
@@ -179,11 +179,18 @@ tuple(item):
 (* Possibly empty semicolon-separated values between brackets *)
 
 list_of(item):
-  lbracket sepseq(item,semi) rbracket {
-   {opening    = LBracket $1;
-    elements   = $2;
-    terminator = None;
-    closing    = RBracket $3} }
+  lbracket sep_or_term_list(item,semi) rbracket {
+    let elements, terminator = $2 in {
+      opening    = LBracket $1;
+      elements   = Some elements;
+      terminator;
+      closing    = RBracket $3}
+  }
+| lbracket rbracket {
+     {opening    = LBracket $1;
+      elements   = None;
+      terminator = None;
+      closing    = RBracket $2} }
 
 (* Main *)
 
diff --git a/src/parser/ligodity/Version.ml b/src/parser/ligodity/Version.ml
deleted file mode 100644
index d89964cb1..000000000
--- a/src/parser/ligodity/Version.ml
+++ /dev/null
@@ -1 +0,0 @@
-let version = "UNKNOWN"