Edit some shavit-checkpoints comments