Fixed bug in verify.