shorter file name

just shortened the file name