fix #3191: NumberFormatException in SettingsActivity