Made spec more deterministic