diff --git a/doc/LLgen/LLgen.n b/doc/LLgen/LLgen.n
index 29c206787..c69c52174 100644
--- a/doc/LLgen/LLgen.n
+++ b/doc/LLgen/LLgen.n
@@ -812,11 +812,12 @@ ldecl   : '{'
 
 productions
         : simpleproduction
-          [ '|' DEFAULT? simpleproduction ]*
+          [ '|' simpleproduction ]*
         ;
 
 simpleproduction
-        : [ IF '(' /* Read C-expression here */ ')'
+        : DEFAULT?
+	  [ IF '(' /* Read C-expression here */ ')'
           | PREFER
           | AVOID
           ]?