Fix a non-deterministic test