Added missing verify declaration