Hi all! I updated my phone to latest miui 10 weekly and i noticed that the notch is smaller (i think it was better before) there's a way to revert this change? Thanks to all!