Be slightly more fault-tolerant and reportive in verify