diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index d8ba9dc9d..e77cb491d 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -458,7 +458,7 @@ int handle_syscalls(int s)
 			//stop_hermit();
 
 			if (arg == -14)
-				fprintf(stderr, "Does HermitCore receive an exception?\n");
+				fprintf(stderr, "Did HermitCore receive an exception?\n");
 			exit(arg);
 			break;
 		}