tiny iOS tweaks