_revert() ==> revert() in minimized version.