trying to fix nondeterminism