minor changes in verification script