Minor fix for Android build

don't sweat it :-)