minor adjustments to Deterministic