bugfix for ntp server config