Hopefully fixed color correctness of red black tree