Yes I noticed that too late .
Anyway, now I'm under the last xiaomi.eu A11 rom, let's see with the next release!
I had for a few times an annoying "error 7" or something like that, which blocked me for a few days to install a xiaomi.eu rom (A10 or A11), I did not understand why, but well this...