Minor change to android.html