Fix link to setup_server