#143: wrong tsdns_settings.ini syntax