small fix for Android