After restarting a second time, only the correct server should now show up. (I'm not quite sure that the double restart is necessary, it was in my case.) It worked for me because I just recently went ...