Better naming of example file