Better names for ping-related variables.