Fix error in exec_ping switch