--- a/edit_user.php	Thu Apr 03 18:57:11 2008 +0000
+++ b/edit_user.php	Thu Apr 03 21:48:36 2008 +0000
@@ -27,8 +27,8 @@
 	$edit_id = $_GET['id'];
 }
 
-verify_permission(user_edit_own) ? $perm_edit_own = "1" : $perm_edit_own = "0" ;
-verify_permission(user_edit_others) ? $perm_edit_others = "1" : $perm_edit_others = "0" ;
+verify_permission('user_edit_own') ? $perm_edit_own = "1" : $perm_edit_own = "0" ;
+verify_permission('user_edit_others') ? $perm_edit_others = "1" : $perm_edit_others = "0" ;
 
 if ($edit_id == "-1") {
 	error(ERR_INV_INPUT);