Strange behaviour on empty search for devices on configurations

When I open a specific configuration: http://rz-vm64.gfz-potsdam.de/configurations/10/platforms-and-devices

I can search for platforms - and select one.

However, when I then switch to the devices search and insert a text that doesn't deliver any search results, it still displays the results of the platform search:

Platform search:

Device search (after triggering the search):

I would expect a text ala 'There are no devices that match your search criteria'