Aha. I thought that the default should be unordered (because that might be more use cases?). On the other hand, this is more logical. Will do.