minor server.toString() tweak