corrections in verify