Fixing the name of the example file.