Android: bugfix