Fixes #95, Android settings UI.