Fix issue #211 - ServerInfo.ping