Fixes typo
Fixes vertex mapping history after replaying a del higher