diff --git a/servers/vm/pagefaults.c b/servers/vm/pagefaults.c
index 8ba94db4a..41da1ac73 100644
--- a/servers/vm/pagefaults.c
+++ b/servers/vm/pagefaults.c
@@ -112,7 +112,7 @@ PUBLIC void do_pagefaults(void)
 			continue;
 		}
 
-		vm_assert(addr > region->vaddr);
+		vm_assert(addr >= region->vaddr);
 		offset = addr - region->vaddr;
 
 		/* Access is allowed; handle it. */