fix provisos error.