Small fix for Android build.