Fixing several bugs in Archprovisioning