Fix NameErrors Ricky found in the esverify code