Looks like a rounding issue. At this size, a 1 pixel, or even half pixel error can lead to such difference. Not sure if it can be corrected... Even more as there is a workaround, as you point out.
↧