diff --git a/tla/consensus/abs.tla b/tla/consensus/abs.tla
index b1b652ca1761..b0855392f03d 100644
--- a/tla/consensus/abs.tla
+++ b/tla/consensus/abs.tla
@@ -48,10 +48,10 @@ Next ==
         \/ Copy(i) 
         \/ ExtendToMax(i)
 
-AbsSpec == Init /\ [][Next]_CLogs
+AbsSpec == Init /\ [][Next]_cLogs
 
 AppendOnlyProp ==
-    [][\A i \in Servers : IsPrefix(cLogs[i], cLogs'[i])]_CLogs
+    [][\A i \in Servers : IsPrefix(cLogs[i], cLogs'[i])]_cLogs
 
 NoConflicts ==
     \A i, j \in Servers :