diff --git a/crates/zkwasm/src/circuits/mtable/mod.rs b/crates/zkwasm/src/circuits/mtable/mod.rs
index f23f36b65..d0f6d04bf 100644
--- a/crates/zkwasm/src/circuits/mtable/mod.rs
+++ b/crates/zkwasm/src/circuits/mtable/mod.rs
@@ -47,7 +47,7 @@ pub struct MemoryTableConfig<F: FieldExt> {
     start_eid_cell: AllocatedU32StateCell<F>,
     end_eid_cell: AllocatedU32StateCell<F>,
     eid_diff_cell: AllocatedU32StateCell<F>,
-    // It MUST NOT be unlimited to ensure mtable terminates at capability.
+    // It MUST NOT be unlimited to ensure mtable termination.
     rest_mops_cell: AllocatedCommonRangeCell<F>,
     offset_cell: AllocatedU32Cell<F>,
     offset_diff_cell: AllocatedU32Cell<F>,
@@ -358,6 +358,8 @@ impl<F: FieldExt> MemoryTableConfig<F> {
                     // post_init_encode_cell assigned iff at memory finalized position.
                     post_init_encode_cell.curr_expr(meta)
                         * (constant_from!(1) - is_memory_finalized_position_bit.clone()),
+                    post_init_encode_cell.curr_expr(meta)
+                        * (constant_from!(1) - enabled_cell.curr_expr(meta)),
                     // encode post_init_encode_cell.
                     (post_init_encode_cell.curr_expr(meta)
                         - address_encode_cell.curr_expr(meta)