1 files changed, 4 insertions, 4 deletions
diff --git a/Doc/ref/ref7.tex b/Doc/ref/ref7.tex
index 88c548c..92ee655 100644
--- a/Doc/ref/ref7.tex
+++ b/Doc/ref/ref7.tex
@@ -322,10 +322,10 @@ section~\ref{types}):
   \production{decorator}
              {"@" \token{dotted_name} ["(" [\token{argument_list} [","]] ")"] NEWLINE}
   \production{parameter_list}
-             {(\token{defparameter} ",")*}
-  \productioncont{("*" \token{identifier} [, "**" \token{identifier}]}
-  \productioncont{| "**" \token{identifier}
-                  | \token{defparameter} [","])}
+                 {(\token{defparameter} ",")*}
+  \productioncont{(~~"*" \token{identifier} [, "**" \token{identifier}]}
+  \productioncont{ | "**" \token{identifier}}
+  \productioncont{ | \token{defparameter} [","] )}
   \production{defparameter}
              {\token{parameter} ["=" \token{expression}]}
   \production{sublist}