Correct example XML file names