Uncaught exception in verify