Fixed RB Tree deletion bug