I think this happens because Windows font scaling is non-linear because of pixel snapping, and so when font size is increased to 125%, the actual size of the text can either increase or decrease. In this case, we got unlucky, but it is unlikely to become progressively worse with higher DPI.