Fix file name in comments section