Bad typo in MIUI Script