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