Issue #56 unredo simplified