diff -r ae140472d97c -r 2b8781fd2e49 delete_domain.php
--- a/delete_domain.php	Tue Dec 25 14:40:03 2007 +0000
+++ b/delete_domain.php	Tue Dec 25 14:44:39 2007 +0000
@@ -64,6 +64,6 @@
         include_once("inc/header.inc.php");
 } else {
         include_once("inc/header.inc.php");
-        echo _("Nothing to do!");
+        echo _('Nothing to do!');
 }
 include_once("inc/footer.inc.php");