Fix bug in verify finding a living node