is this using the new options parameters PR from phpspec/phpspec?