MIDI export misplaced pedal

In certain situations, the pedals in the MIDI export are moved several bars ahead of where they are supposed to be.

It seems to be caused by a miscount of the bars due to repeat sections. In the linked sample, the pedal is placed on the 4th bar, and the playback is correct, but when exported to a MIDI file, the pedal effect is on the 3rd bar, presumably because the repeated bar is counted twice, making the next bar the 4th instead of the 3rd, while the pedal is applied on the 4th bar in any case.