a few edits to Checkpoint