Bugfix for issue #220: exception on Android 4.3