Kodi 17: Confusing PVR messages

I am running Kodi 17 beta3 on a test machine, with DVBlink 5.5.0 as back end.

When something changes in the list of timers, I believe that the wrong title is displayed in the message displayed on the screen.

For example: I have two items in the timer list, and I delete one of them. In the message that follows, the title of the remaining entry is shown instead of the title of the item just deleted.

I think this behavior also exists in earlier versions of Kodi, but this was the first time that I investigated it.

I believe that this is simple to replicate, so I do not add logs or dumps. But I am willing to supply more info!

Regards,

Bart