This solves a failure with testBudget, it should only impact test, but
it's probably better to have a deterministic ordering here.