Fix hardened checkpoint