fix the bug of verbose verify