diff --git a/src/smvlang/parser.y b/src/smvlang/parser.y
index c7a994539..38a302514 100644
--- a/src/smvlang/parser.y
+++ b/src/smvlang/parser.y
@@ -361,14 +361,9 @@ module_name: IDENTIFIER_Token
            | STRING_Token
            ;
 
-module_head: MODULE_Token module_name
-           {
-             new_module($2);
-           }
-           | MODULE_Token module_name '(' module_parameters_opt ')'
-           {
-             new_module($2);
-           }
+module_head: MODULE_Token module_name { new_module($2); }
+           | MODULE_Token module_name { new_module($2); }
+             '(' module_parameters_opt ')'
            ;
 
 module_body: /* optional */