It's a Xiaomi, and the native apps all suck. (We had to install a file manager that won't freeze the screen to show us ads every time we open it.) I'd maybe add a note that they're supposed to be numbered correctly, so if people run into this issue they'll know that it's their device. But also it did work correctly when I tried doing this with a non-crappy app, so maybe the note isn't necessary!