No it is not for your device only it is for all the devices because the bug is in the SuperWallpaper App.
But maybe the The Xiaomi.eu Devs can fix it even do it is not a major bug but it seems like it may be a one that is easier to fix but still the decision depends upon the developers
But...