Fix examples/json.php.