adjusted formatting for servers.json