STP: more fixes in colorTree().