Rhythm dots are a bit fiddly, I’m afraid: Dorico has sophisticated grouping code for dots so that you don’t end up with too many or too few in complex situations, but in more common situations like this you can end up with a single group, and Dorico has to choose one scale factor for the whole group. For safety purposes we have it choosing the largest scale factor for the group, rather than the smallest.