The ambiguous use of ''San Juan Bautista'' and ''Puerto Rico'' for both the city and the island in time led to a reversal in practical use by most inhabitants: by 1746 the name for the city (Puerto Rico) had become that of the entire island, leading to the city being identified as ''Puerto Rico de Puerto Rico'' on maps of the era.