Update checkpoints.h