diff --git a/mps/src/awlut.c b/mps/src/awlut.c
index 66dbdf1aad4..153913afc68 100644
--- a/mps/src/awlut.c
+++ b/mps/src/awlut.c
@@ -32,7 +32,7 @@ static void error(const char *format, ...)
   va_list args;
 
   fflush(stdout); /* sync */
-  fprintf(stderr, "%s: @%lu ", prog, (unsigned long) eventTime);
+  fprintf(stderr, "%s: ", prog);
   va_start(args, format);
   vfprintf(stderr, format, args);
   fprintf(stderr, "\n");
diff --git a/mps/src/awluthe.c b/mps/src/awluthe.c
index b63691f804d..dde6d259f6d 100644
--- a/mps/src/awluthe.c
+++ b/mps/src/awluthe.c
@@ -33,7 +33,7 @@ static void error(const char *format, ...)
   va_list args;
 
   fflush(stdout); /* sync */
-  fprintf(stderr, "%s: @%lu ", prog, (unsigned long) eventTime);
+  fprintf(stderr, "%s:  ", prog);
   va_start(args, format);
   vfprintf(stderr, format, args);
   fprintf(stderr, "\n");