Fix last minute bugs and add example servers.json file.