oh well, fwiw, my phone is 8.0 and I can't reproduce it anymore either since I can't reinstall that version. No biggy, thanks.