Some fixes to the forest automata unfolding.