proper revert