Minor fix of filenames