Fix an example file