Finish code for Red-Black trees