Models are all fixed up, but the verification step doesn't actually work.