diff --git a/servers/pm/exec.c b/servers/pm/exec.c
index 054908480..927d1cfc4 100644
--- a/servers/pm/exec.c
+++ b/servers/pm/exec.c
@@ -160,8 +160,6 @@ int result;
 	{
 		if (rmp->mp_flags & PARTIAL_EXEC)
 		{
-			printf("partial exec; killing process\n");
-
 			/* Use SIGILL signal that something went wrong */
 			rmp->mp_sigstatus = SIGILL;
 			exit_proc(rmp, 0, FALSE /*dump_core*/);
diff --git a/servers/vfs/exec.c b/servers/vfs/exec.c
index cde7151c7..afc219152 100644
--- a/servers/vfs/exec.c
+++ b/servers/vfs/exec.c
@@ -238,7 +238,6 @@ printf("return at %s, %d\n", __FILE__, __LINE__);
 
     if (r != OK)
     {
-printf("return at %s, %d\n", __FILE__, __LINE__);
 	return r;
     }
 
@@ -590,8 +589,6 @@ phys_bytes seg_bytes;		/* how much is to be transferred? */
 
   /* Make sure that the file is big enough */
   if (vp->v_size < off+seg_bytes) {
-	printf("VFS: read_seg: file isn't big enough (size %ld, need %ld)\n",
-		vp->v_size, off+seg_bytes);
 	return EIO;
   }