Changed Verify and Program Slightly