Update verify.m