Is this to ensure that `Deps.flush()` has finished? I wonder what would happen in a slower computer.