Thank you very much!
I’ve reported it as an issue on Github as I also think it lies in the client code.
//andreas