Fixed modulo parts of pickArbitrary spec.