modify jverify demo bug