diff --git a/hermit/kernel/main.c b/hermit/kernel/main.c
index 20011d76c..48cbf07c7 100644
--- a/hermit/kernel/main.c
+++ b/hermit/kernel/main.c
@@ -448,7 +448,7 @@ static int initd(void* arg)
 	len = sizeof(struct sockaddr_in);
 
 	kprintf("Boot time: %d ms\n", (get_clock_tick() * 1000) / TIMER_FREQ);
-	kputs("TCP server listening.\n");
+	kputs("TCP server is listening.\n");
 
 	if ((c = lwip_accept(s, (struct sockaddr *)&client, (socklen_t*)&len)) < 0)
 	{
diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index ba7a6d66f..eeb5df59a 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -167,7 +167,7 @@ static int is_qemu_available(void)
 		return 0;
 
 	while(getline(&line, &n, file) > 0) {
-		if (strncmp(line, "TCP server listening.\n", 2048) == 0) {
+		if (strncmp(line, "TCP server is listening.\n", 2048) == 0) {
 			ret = 1;
 			break;
 		}