(Android) bug fix: #3