diff --git a/consensus/replay.go b/consensus/replay.go
index 152c9c000..4868656e4 100644
--- a/consensus/replay.go
+++ b/consensus/replay.go
@@ -90,7 +90,6 @@ func (cs *ConsensusState) readReplayMessage(msg *TimedWALMessage, newStepCh chan
 
 // replay only those messages since the last block.
 // timeoutRoutine should run concurrently to read off tickChan
-// CONTRACT: csHeight > 0
 func (cs *ConsensusState) catchupReplay(csHeight int64) error {
 	// set replayMode
 	cs.replayMode = true
diff --git a/consensus/state.go b/consensus/state.go
index 1e85a6cc1..eedc30bc0 100644
--- a/consensus/state.go
+++ b/consensus/state.go
@@ -697,7 +697,6 @@ func (cs *ConsensusState) enterNewRound(height int64, round int) {
 
 // needProofBlock returns true on the first height (so the genesis app hash is signed right away)
 // and where the last block (height-1) caused the app hash to change
-// CONTRACT: height > 0
 func (cs *ConsensusState) needProofBlock(height int64) bool {
 	if height == 1 {
 		return true