Update verify.cc