bugfix: maps crash when known devices were spread too much around