Fix file name erratum