Make spec deterministic in the face of array order