Filters don't adapt to customised User Roles

Hello,

I use a popular plugin that allows you to edit/add/remove user roles: https://en-gb.wordpress.org/plugins/user-role-editor/

The problem is when the default roles are removed (i.e. Editor, Author, Guest) and replaced with new ones (i.e. User), the Activity Logs' filter by user group select box does not update.

Is it possible to allow this to respect changes to user roles, so administrators can filter by the update user roles?

I have a website with around 600 active registered users with a custom role and at the moment I am unable to filter by this role. The select still shows WordPress default roles, even though I only have 'Administrator' and 'User' now.

Thank you! And great work 👍