iOS tweaks. Fixes #13.