Fix proof verification