Ah, the tricky issue of server names…