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