FPX or EDG first seed

Whats up with the FPX/EDG on CN Bracket? Aint it right that FPX is the first seed since they beat EDG in the group matches? what am i missing here?

There's a 3 way tie between EDG/FPX/Trace, so its goes down to map diff, hence EDG got the first seed

The way placements is prioritised are:

1. Who has the most wins. If they are equal,
2. Map record. If they are equal,
3. Round Differential. If they are equal,
4. Head to head score, who beat who. If it got to this stage, FPX would take first