Fix parser error in MiuiSettings