extern char *infile;
 
   if (infile == 0)
-    fprintf(stderr, _("fatal error: %s\n"), s);
+    fprintf(stderr, _("bison: fatal error: %s\n"), s);
   else
-    fprintf(stderr, _("\"%s\", line %d: %s\n"), infile, lineno, s);
+    fprintf(stderr, _("%s:%d: fatal error: %s\n"), infile, lineno, s);
   done(1);
 }
 
   extern char *infile;
 
   if (infile == 0)
-    fprintf(stderr, _("error: %s\n"), s);
+    fprintf(stderr, _("bison: %s\n"), s);
   else
-    fprintf(stderr, _("(\"%s\", line %d) error: %s\n"),
+    fprintf(stderr, _("%s:%d: %s\n"),
            infile, lineno, s);
 
   failure = 1;
      char *s;
 {
   char buffer[200];
-  sprintf(buffer, _("limit of %d exceeded, too many %s"), MAXSHORT, s);
+  sprintf(buffer, _("too many %s (max %d)"), s, MAXSHORT);
   fatal(buffer);
 }
 
 berror(s)
      char *s;
 {
-  fprintf(stderr, _("internal error, %s\n"), s);
+  fprintf(stderr, _("bison: internal error: %s\n"), s);
   abort();
 }