final fixes to MiuiSettings