a simple bugfix for tree inconsistency when deleting a minimum or a maximum