fix a minor issue on Android 4.0+