It sounds like a bug. are you referring to the DNS server that you chose in the Network → DNS page?