Fix error with file name formatting