Fix verify.py