Fix-up the provisioning script