diff --git a/mps/code/boot.c b/mps/code/boot.c
index eff8409fc1e..af365d3b4f1 100644
--- a/mps/code/boot.c
+++ b/mps/code/boot.c
@@ -30,7 +30,7 @@ Bool BootBlockCheck(BootBlock boot)
   CHECKL(boot->limit != NULL);
   CHECKL(boot->base <= boot->alloc);
   CHECKL(boot->alloc <= boot->limit);
-  CHECKL(boot->alloc < boot->limit);
+  CHECKL(boot->base < boot->limit);
 
   return TRUE;
 }