And the remedy was that Google can keep doing what it’s doing.