ui tweaks in Settings panels for #291