Make the verification tests pass.