minor infinality-settings.sh tweak