Tree simplifier small bugfix.