bugfixes for pact specs, working with provider