Europe was named after the Greek Phoenician princess Europa, same as the planet was. Also a lot of languages call the continent Europa. You could almost consider it to be the more accurate name.
It is only called "Europe" in some parts of the world. I am German, and we call it Europa over here. The other poster might be from a country where it is indeed called Europa instead of Europe.
It's only Europa if you are talking in German. Same applies to other languages (including mine). But in English context it's Europe.
This evolved into a lot more than i should of have. All I meant with my original comement was to lighty nudge the user to correct the spelling without making a big deal out of it by making it educational at the the same time.