Minor codechanges inside delete.php