found an evil non-deterministic bug im not sure how to fix