Fix minor issues in the verify script

No match.