Fixed up the example, incorrect verify: slipped in