ios: cosmetic changes