VerifiedBlockchain fixes