fix an android crash