Fixes a bug related to determinism