correct Dinic