Fix file vs filename discrepancy