Unrelated fix for Android 4.4