minor change to mathoid provisioning