divi edit role error $post non object

Errors editing roles with divi :

/* $post became “role”, $post-type became add_meta_boxes */

/wp-admin/users.php?page=roles&action=edit&role=customer

Notice: Trying to get property ‘ID’ of non-object in /wp-content/themes/Divi/functions.php on line 431 ::
function et_add_post_meta_box( $post_type, $post )

Notice: Trying to get property ‘ID’ of non-object in /wp-content/themes/Divi/includes/builder/functions.php on line 4500 ::
function et_pb_add_custom_box( $post_type, $post )

had to correct this with as the first statement of both functions :

// Do not add BB metabox if post non object (ex : by edit roles via members)
if ( ! is_object($post) ) {
return;
}