Solution (and in general a much better way to decide these situations) would be to use head-to-head rather than goal difference as the deciding factor. La Liga uses head-to-head. Premier League goal difference. Too lazy to google other leagues.