Fix bug in translation of servers.