Refresh rate changes to 59.94 Hz

Good morning,

after playing a movie the video refresh rate changes to 59.94 Hz instead of 50.00 Hz

Explanation:
In Europe the TV refresh rate is 50 Hz (720p_50, 1080i_50). I’m using Kodi in 95% as a TV frontend (VDR-VNSI). So it’s useful to set the general UI (xorg-server) refresh rate to 50.00 Hz in order to avoid any refresh rate switching, when turning on the PVR stuff.

Most movies use 23.976 Hz. So I’ve turned on in the settings to allow Kodi to change the refresh rate, if a movie needs it. Works correct so far. Set the settings:

Settings -> Playback -> Video:
adjust refresh rate: at start/stop

Now stopping the movie changes the UI refresh-rate from 23.976 Hz to 59.94 Hz. Instead I would expect the former value of 50.00 Hz.

Is that a bug or did I miss something to configure?