I'm just getting started, have two test devices imported. One is covered by SmartNET, the other is not. If I look in the contracts section one device is listed as covered, as expected, but the other device is not included in the 'not covered' report...