Index: tools/gformat.py
===================================================================
--- tools/gformat.py	(revision 10937)
+++ tools/gformat.py	(revision 10938)
@@ -1300,5 +1300,5 @@
     dns_masters = ['siteview.wirelessleiden.nl', 'ns1.vanderzwet.net']
   else:
-    dns_masters = ['sunny.wleiden.net']
+    dns_masters = ['sunny.wleiden.net'] + ["%s.wleiden.net" % x[1] for x in get_nameservers()]
 
   details['master'] = dns_masters[0]