Added int cast to prov_state field