solve some bugs into verification