Fixing RBTree deleteFix.