small bug in verify tt