bug fix in verfication runner