Correct example file.