As a result, many Europeans heard of the United Provinces first as "Holland" rather than "Republic of the Seven United Provinces of the Netherlands". This tradition continues to this day.
This tradition? We long stopped being a republic of the seven united provinces. We've 12 provinces now, and we're a monarchy. How then can people refer back today to the republic??
I know what they mean, but it's still worded wrongly.
Mutter, mutter.