checkpoint: more error detection