Tremolo playback too slow

Hello, all.
My 3-slash tremolo is playing back at the speed of quarter notes. What is going on?

Notice that in playback options I have the speed of tremolos set to the maximum possible speed.

Umm… I just shut down Dorico, restarted it and then listened to the tremolo and it seems to work fine. I guess that means the problem was solved (assuming it doesn’t return).