diff --git a/hermit/tools/proxy.c b/hermit/tools/proxy.c
index d8ba9dc9d..5bb4447b2 100644
--- a/hermit/tools/proxy.c
+++ b/hermit/tools/proxy.c
@@ -268,6 +268,12 @@ static int init_qemu(char *path)
 		qemu_argv[i+1] = "SandyBridge";
 	}*/
 
+	for(i=0; qemu_argv[i] != NULL; i++)
+		;
+	// add flags to create dump of the network traffic
+	qemu_argv[i] = "-net";
+	qemu_argv[i+1] = "dump";
+
 	str = getenv("HERMIT_VERBOSE");
 	if (str)
 	{
@@ -275,11 +281,7 @@ static int init_qemu(char *path)
 
 		for(i=0; qemu_argv[i] != NULL; i++)
 			printf("%s ", qemu_argv[i]);
-
-		// add flags to create dump of the network traffic
-		qemu_argv[i] = "-net";
-		qemu_argv[i+1] = "dump";
-		printf("%s %s\n", qemu_argv[i], qemu_argv[i+1]);
+		printf("\n");
 
 		fflush(stdout);
 	}