Slightly enforce Revert() test coverage