Permission for delete panel-nodes

I think it would be a very handy feature, if the users can set the delete permissions for panel nodes.
See the code:

--- panels/panels_node/panels_node.module
+++ panels/panels_node/panels_node.module
@@ -17,7 +17,7 @@
  * Implementation of hook_perm().
  */
 function panels_node_perm() {
-  return array('create panel-nodes', 'edit any panel-nodes', 'edit own panel-nodes', 'administer panel-nodes');
+  return array('create panel-nodes', 'edit any panel-nodes', 'edit own panel-nodes', 'administer panel-nodes', 'delete any panel-nodes', 'delete own panel-nodes');
 }
 
 /**
@@ -113,6 +113,10 @@ function panels_node_access($op, $node, 
   if ($op == 'update' && (user_access('edit any panel-nodes') || $node->uid == $account->uid && user_access('edit own panel-nodes'))) {
     return TRUE;
   }
+
+  if ($op == 'delete' && (user_access('delete any panel-nodes') || $node->uid == $account->uid && user_access('delete own panel-nodes'))) {
+    return TRUE;
+  }
 }