I wish to add a secondary DNS server. Adding the IP address to the DNS section in system-config-network appears to work, but after saving the config and rebooting, the newly-added IP address has vanished. So, what am I doing wrong?