Google claims it is “also longstanding practice” to show local Google Maps users the official local name of particular landmarks. That means U.S. users will see “Gulf of America” while Mexican users will still see “Gulf of Mexico.” “Everyone in the rest of the world sees both names,” according to the social media post.

The change will only be visible to U.S. users. Those in Mexico will still see “Gulf of Mexico,” while those in the rest of the world will see both names on the map.