vem: slight changes to revert