Clean up in remove_boundary_edge_flips.