It's generally correct.
The results would have been similar—albeit slightly different. We didn't include it in our brief because we didn't want to swamp you with too many prints. Of course, you can do it easily, and we did it. What we presented to you shows the option of including small provinces with low district magnitudes into the first category group, but whether to do so or not needs to be decided at another point.