Currently, in the device provisioning chapter, the examples use the Device Provisioning API for the IoTAgents, that is slightly different than the one used by the IoTManager. Since the IoTManager is the only component exposed to public access, this description should be fixed to reflect it.