Some refinement of the autoprovisioning chapter