fix red-black tree; comment