--- loncom/production_dns_hosts.tab	2009/06/23 23:40:55	1.64
+++ loncom/production_dns_hosts.tab	2009/06/24 00:59:51	1.65
@@ -135,7 +135,7 @@ ohiouk12l1:ohiouk12:library:capa4.phy.oh
 
 #Hosted - educogs library server
 
-devinechildl1:devinechild:library:educog.com
+divinechildl1:divinechild:library:educog.com
 aislagosl1:aislagos:library:educog.com
 uchicagol1:uchicago:library:educog.com
 troyl1:troy:library:educog.com