Fixing a mistake in reply_ping