some refinements with respect to revert