diff --git a/lang/m2/libm2/Storage.mod b/lang/m2/libm2/Storage.mod
index 8fde41f8c..e359ef917 100644
--- a/lang/m2/libm2/Storage.mod
+++ b/lang/m2/libm2/Storage.mod
@@ -170,11 +170,9 @@ IMPLEMENTATION MODULE Storage;
 		HALT;
 	END;
 	p := a - UNIT;
-	WITH p^ DO
-		IF BSIZE # ((size + (UNIT - 1)) DIV UNIT) THEN
-			pc := a + size;
-			pc^ := MAGICC;
-		END;
+	IF p^.BSIZE * UNIT # size THEN
+		pc := a + size;
+		pc^ := MAGICC;
 	END;
   END ALLOCATE;