Ringtones & Notifications sounds mismatch after file rename

Summary

Hello, when I tried to change the ringtone sound and the notification sound with an MP3 file, after copy my file in the ringtone directory, if I remane it, in the sound settings menu, the corresponding name give the "default" sound.

Steps to reproduce

1 - I download a file from web

2 - With Files app, move it to the ringtone (or notification) directory

3 - Go to Settings->sound->ringtone

4 - Select the corresponding sound, it's OK

5 - With Files app, go the the directory and rename the file

6 - Go back the Settings-Sound->Ringtone

7 - Select the corresponding sound, it's now the default sound

Then I tried the move out the file from the ringtone directory to the download directory and moved it again to the ringtone directory without any change of name, now I have 2 entries in the settings with the same name, one with the default sound, the other with the correct sound.

Possible fixes

I restarted the device, and now all is OK.

Thanks.

Axel

/e/, last update on a Xiaomi Redmi Note 4