fix description of curl.php