Minor fix to file naming