Fix get_devices to return empty list if no devices found