Logging checkpoints properly