Use dictionary sort so numbers in names are sorted sensibly