Fix a bug in nameserver