Fixed the names of some files in these examples.