rb_tree: make clear distinction between two different cases in rb_erase()