Fixes non-deterministic behavior of WLXServiceManagerSpec #13.