Correct description of flow graph.