diff --git a/src/DynareBison.yy b/src/DynareBison.yy
index 23f4f3955ef57f3068912bc013b2a3038e2c3415..22f5b6795c07e48690563ee2b24e97a22604d1f2 100644
--- a/src/DynareBison.yy
+++ b/src/DynareBison.yy
@@ -2321,7 +2321,7 @@ ramsey_policy : RAMSEY_POLICY ';'
                 { driver.ramsey_policy(); }
               | RAMSEY_POLICY '(' ramsey_policy_options_list ')' ';'
                 { driver.ramsey_policy(); }
-              | RAMSEY_POLICY symbol_list ';'
+              | RAMSEY_POLICY ramsey_policy_list ';'
                 { driver.ramsey_policy(); }
               | RAMSEY_POLICY '(' ramsey_policy_options_list ')' ramsey_policy_list ';'
                 { driver.ramsey_policy(); }