converted example file to valid JSON