some coe cosmetics, switching server.name to server.get_name()