Is this change just a random fix of a non-deterministic unit test?