fixup for Android.