A short lesson of antarctic toponymy