Fix on delete-min