Fixed weird file name

not much to look at here