Fix file name in comment