Thanks for answering.
I don't have a xiaomi device with me. That problem is reported to me by Xiaomi users, using my app, so I am afraid it is not easy for me to investigate deeper.
I am also new to this site so I don't know exactly where to go. Could you tell me the exact forum please?