use default to-string when printing server info