Just one more touch: instead of having to test for "" here (and everywhere else that might use the DEFAULT_TREE value in the future), let's arrange for `config['DEFAULT_TREE']` always to be the name of the default tree, whether it's explicitly specified by the user or whether it's automatically taken to be the first tree. Then we should be able to merge!