<ubuntu> small fix in doc/setup-server.md