Correcting checkpoints