Fix bug in NetworkManager name server configuration