fix some tree representations