diff --git a/zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla b/zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla
index 2f3efd6ec6e..5a6432c30d7 100644
--- a/zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla
+++ b/zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla
@@ -1279,7 +1279,7 @@ WriteToTxnLog(i) == IF \/ connectInfo[i].syncMode = DIFF
 
 \* See lastProposed in Leader for details.
 LastProposed(i) == IF Len(history[i]) = 0 THEN [ index |-> 0, 
-                                                 zxid  |-> <<0, 0>> ]
+                                                 zxid  |-> <<Maximum({tempMaxEpoch[i], 0}), 0>> ]
                    ELSE
                    LET lastIndex == Len(history[i])
                        entry     == history[i][lastIndex]