diff --git a/src/parseaut/parseaut.yy b/src/parseaut/parseaut.yy
index 8d55f55a1..d7b4d61f5 100644
--- a/src/parseaut/parseaut.yy
+++ b/src/parseaut/parseaut.yy
@@ -1054,7 +1054,7 @@ unlabeled-edge: checked-state-num trans-acc_opt
 			fill_guards(res);
 		      if (res.cur_guard == res.guards.end())
 			{
-			  error(@$, "too many transition for this state, "
+			  error(@$, "too many transitions for this state, "
 				"ignoring this one");
 			  cond = bddfalse;
 			}
diff --git a/src/tests/parseaut.test b/src/tests/parseaut.test
index 7d53c3787..8ee2e819e 100755
--- a/src/tests/parseaut.test
+++ b/src/tests/parseaut.test
@@ -423,7 +423,7 @@ input:7.17-31: 'property: implicit-labels' is incompatible with...
 input:7.33-47: ... 'property: explicit-labels'.
 input:8.17-25: 'property: trans-acc' is incompatible with...
 input:8.27-35: ... 'property: state-acc'.
-input:16.7: too many transition for this state, ignoring this one
+input:16.7: too many transitions for this state, ignoring this one
 input:28.33-44: 'property: state-labels' is incompatible with...
 input:28.17-31: ... 'property: implicit-labels'.
 input:50.20-24: state-based acceptance used despite...