It says: You can think of every connected component of a functional graph as a rooted tree plus an additional edge going out of the root.
But, I understand the “root” as the vertex without in degree. So I think the additional edge is going in of the root, right?