Changing file name

Changed the name of a file.