fix some errors in verify