Corrected consume type for ping().