diff -rN -p -u old-gnumach/i386/i386/db_interface.c new-gnumach/i386/i386/db_interface.c
--- old-gnumach/i386/i386/db_interface.c	2008-07-18 09:04:51.000000000 -0400
+++ new-gnumach/i386/i386/db_interface.c	2008-07-18 09:04:51.000000000 -0400
@@ -315,11 +317,12 @@ db_read_bytes(
 	    if (task == TASK_NULL)
 	        task = db_current_task();
 	    while (--size >= 0) {
-		if (addr++ < VM_MIN_KERNEL_ADDRESS && task == TASK_NULL) {
-		    db_printf("\nbad address %x\n", addr);
-		    db_error(0);
-		    /* NOTREACHED */
+		if (addr < VM_MIN_KERNEL_ADDRESS && task == TASK_NULL) {
+		  db_printf("\nbad address %x\n", addr);
+		  db_error(0);
+		  /* NOTREACHED */
 		}
+		addr++;
 		*data++ = *src++;
 	    }
 	    return;