I have a bit of an unusual case here. It seems like Dorico is trying in most cases to avoid collisions between accidentals and ledger lines of preceding notes, which is great. In the example below, you can see the third sixteenth note is pushed over to the right. However, the 5th sixteenth note is not being pushed over to the right, because when you zoom to the maximum, there is actually a tiny space between the ledger line and the top of the natural sign. This tiny space is seemingly enough for Dorico to think there is no collision and so it fails to push the note over. Is there any way of correcting this?