ANDROID: Slight formatting fix.