It looks like NrOfSelectors * MaxChannelsPerSelector can be less than MaxChannels due to rounding. Is that intentional?