diff --git a/src/Language.ml b/src/Language.ml
index 1098b5096..948e9b307 100644
--- a/src/Language.ml
+++ b/src/Language.ml
@@ -1047,7 +1047,7 @@ let eval (_, expr) i =
 
 (* Top-level parser *)
 ostap (
-  imports[cmd]: l:$ is:(%"import" !(Util.list)[ostap (UIDENT)]) -";")* {
+  imports[cmd]: l:$ is:(%"import" !(Util.list [ostap (UIDENT)]) -";")* {
     let is    = "Std" :: List.flatten is in
     let infix =
       List.fold_left