redblacktrees: remove cruft.