- Workaround for Android GUI bug
- (From before:) Improvements regarding precision and lists
