small bugfix in verify.py