Minor change to ScanState.v
Checkpoint