for Android API 10.

Why is this necessary?