Prevent possible buffer overflow in yyerror()