fixed typo in dns.fsx