Odds and ends for Android