Minor fix with filename