Minor cleanup in the RB-tree discussion. Also cite Andersson's paper