diff -pur u-boot/drivers/cfi_flash.c u-boot-paub/drivers/cfi_flash.c
--- u-boot/drivers/cfi_flash.c	2004-10-11 01:27:35.000000000 +0200
+++ u-boot-paub/drivers/cfi_flash.c	2004-12-09 10:11:31.000000000 +0100
@@ -334,7 +334,7 @@ unsigned long flash_init (void)
 #if (CFG_MONITOR_BASE >= CFG_FLASH_BASE)
 	flash_protect (FLAG_PROTECT_SET,
 		       CFG_MONITOR_BASE,
-		       CFG_MONITOR_BASE + CFG_MONITOR_LEN - 1,
+		       CFG_MONITOR_BASE + monitor_flash_len - 1,
 		       &flash_info[0]);
 #endif
 
@@ -477,7 +477,7 @@ void flash_print_info (flash_info_t * in
 		if ((i % 5) == 0)
 			printf ("\n   ");
 		printf (" %08lX%s",
-			info->start[i], info->protect[i] ? " (RO)  " : "     ");
+			info->start[i], info->protect[i] ? " (RO)" : "     ");
 #endif
 	}
 	putc ('\n');